Updated public/index.php, realpath() the $path to decide if it's a same file (when symlink)

bacinsky · akrabat · commit eba4ea881828 · 2015-06-12T08:10:26.000+01:00
diff --git a/public/index.php b/public/index.php
@@ -6,7 +6,7 @@
 chdir(dirname(__DIR__));
 
 // Decline static file requests back to the PHP built-in webserver
-$path = __DIR__ . parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH);
+$path = realpath(__DIR__ . parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH));
 if (php_sapi_name() === 'cli-server' && __FILE__ !== $path && is_file($path)) {
     return false;
 }

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@`
`6`	`6`	`chdir(dirname(__DIR__));`
`7`	`7`
`8`	`8`	`// Decline static file requests back to the PHP built-in webserver`
`9`		`-$path = __DIR__ . parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH);`
	`9`	`+$path = realpath(__DIR__ . parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH));`
`10`	`10`	`if (php_sapi_name() === 'cli-server' && __FILE__ !== $path && is_file($path)) {`
`11`	`11`	`return false;`
`12`	`12`	`}`