diff --git a/adminer/designs.php b/adminer/designs.php new file mode 100644 index 00000000..11f603f0 --- /dev/null +++ b/adminer/designs.php @@ -0,0 +1,14 @@ +designs = $designs; + } + + function headers() { + if (isset($_POST["design"]) && verify_token()) { + restart_session(); + $_SESSION["design"] = $_POST["design"]; + redirect($_SERVER["REQUEST_URI"]); + } + } + + function css() { + $return = array(); + if (array_key_exists($_SESSION["design"], $this->designs)) { + $return[] = $_SESSION["design"]; + } + return $return; + } + + function navigation($missing) { + echo "
"; + echo html_select("design", array("" => "(design)") + $this->designs, $_SESSION["design"], "this.form.submit();"); + echo ''; + echo "
\n"; + } + +}