battlesquid

<?php    /* Constants     */    define(CSS_DEFAULT, "default");    define(CSS_ASHES, "ashes");    $cookie_expires = time()+31536000*10    $colorscheme = CSS_DEFAULT;    $cssfilename = CSS_DEFAULT . ".css";    /*     * Load settings from cookie if there is a cookie defined,     * otherwise create a new default cookie.     */     if( isset($_COOKIE["xenon"]) ) {        $colorscheme = $_COOKIE["xenon"];     }     else if( isset($_GET["scheme"]) ) {        $color_scheme = $_GET["scheme"];        // updates cookie to user-defined color scheme        setcookie("xenon", $_GET["scheme"], $cookie_expires, "/", false, true);     }     else {        // creates a new cookie        // cookie will last for 10 years and is only accessible through HTTP        // for security reasons (XSS attacks)        setcookie("xenon", CSS_DEFAULT, $cookie_expires, "/", false, true);     }     // (1) silly and extraneous;     if( $color_scheme == CSS_ASHES ) {        $cssfilename = "ashes.css";     }     else if( $color_scheme == CSS_PALE ) {        $cssfilename = "pale.css";     }     else( $color_scheme == CSS_DEFAULT ) {        $cssfilename = "default.css";     }     // (2) dangerous:     $cssfilename = $colorscheme . ".css";?>