1<?php
2// Use this with the built-in PHP server
3// php -S 127.0.0.1:8080 routing.php
4
5// Check for static files but exclude dot files
6if (is_file($_SERVER['DOCUMENT_ROOT'] . '/' . $_SERVER['SCRIPT_NAME']) && strpos($_SERVER['SCRIPT_NAME'], '/.') === false) {
7 return false;
8}
9
10// Or load our script
11$_SERVER['SCRIPT_NAME'] = '/index.php';
12require_once 'index.php';