···

       
2
       
 
       
// Use this with the built-in PHP server

     

       
3
       
 
       
// php -S 127.0.0.1:8080 routing.php

     

       
4
       
 
       


     

       
5
       
-
       
// Check static file

     

       
6
       
-
       
if (is_file($_SERVER['DOCUMENT_ROOT'] . '/' . $_SERVER['SCRIPT_NAME'])) {

     

       
7
       
 
       
  return false;

     

       
8
       
 
       
}

     

       
9
       
 
       


     

···

       
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

     

       
6
       
+
       
if (is_file($_SERVER['DOCUMENT_ROOT'] . '/' . $_SERVER['SCRIPT_NAME']) && strpos($_SERVER['SCRIPT_NAME'], '/.') === false) {

     

       
7
       
 
       
  return false;

     

       
8
       
 
       
}

     

       
9