// +---------------------------------------------------------------------- if (is_file($_SERVER["DOCUMENT_ROOT"].$_SERVER["SCRIPT_NAME"])) { return false; } else { require __DIR__."/index.php"; }