rita.moe
1<?php
2// Use this with the local PHP server for development
3// php -S 127.0.0.1:8080 routing.php
4
5// Check static file
6if (is_file($_SERVER['DOCUMENT_ROOT'] . '/' . $_SERVER['SCRIPT_NAME'])) {
7 return false;
8}
9
10// Or load our script
11$_SERVER['SCRIPT_NAME'] = '/index.php';
12require 'index.php';