1234567891011121314151617181920 |
- <?php
- if (is_file($_SERVER["DOCUMENT_ROOT"] . $_SERVER["SCRIPT_NAME"])) {
- return false;
- } else {
- if (!isset($_SERVER['PATH_INFO'])) {
- $_SERVER['PATH_INFO'] = $_SERVER['REQUEST_URI'];
- }
- require __DIR__ . "/index.php";
- }
|