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"; } }