+
+// This script updates the browser history when
+// any of the passed variables change.
+// This way, if the user changes these variables,
+// then uses the back button to return, it returns to the page
+// as the user modified it.
+function get_js_history(...$vars)
+{
+ $js = '
+ function changeVar() {
+ var stateObj = { foo: "bar" };
+ var state = "";
+';
+
+ $first = true;
+ foreach ( $vars as $var ) {
+ $js .= '
+ var element = document.getElementsByName("' . $var. '");
+ if (element[0])';
+ if ($first) {
+ $first = false;
+ $js .= '
+ state += "' . basename($_SERVER['SCRIPT_NAME']) . "?";
+ } else
+ $js .= '
+ state += "&';
+ $js .= $var .'="' . ' + element[0].value;';
+ }
+
+ $js .= '
+ history.replaceState(stateObj, "page 2", state);
+ }';
+ return $js;
+}
+
+function set_posts(...$vars)
+{
+ foreach ( $vars as $var )
+ if (isset($_GET[$var]))
+ $_POST[$var] = $_GET[$var];
+}