123456789101112131415161718192021 |
- <?php
- if (is_file($_SERVER["DOCUMENT_ROOT"] . $_SERVER["REQUEST_URI"])) {
- return false;
- } else {
- $request_url = substr($_SERVER["REQUEST_URI"],0,strrpos($_SERVER["REQUEST_URI"],"?"));
- if (is_file($_SERVER["DOCUMENT_ROOT"] . $request_url)) {
- return false;
- }
- require __DIR__ . "/index.php";
- }
|