Removes unuseful case

This commit is contained in:
Christophe HENRY 2021-03-20 23:58:43 +01:00
parent 0e508a7d57
commit b7276e12e3
1 changed files with 0 additions and 1 deletions

View File

@ -27,7 +27,6 @@ $documentRoot = $_SERVER['DOCUMENT_ROOT'];
$filePath = rtrim($_SERVER['DOCUMENT_ROOT'], "/")."/".ltrim($url, "/");
switch(true) {
case false:
case !realPath($filePath):
case !preg_match("/\.gmi$/", $url): # not finishing by .gmi
case strpos($filePath, $documentRoot)!==0: # not in web directory