1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

Enhancement: Enable strict_param fixer

We set strict param to false to ensure current behavior,
except for two cases where it is safe to go with true.

Closes GH-658.
This commit is contained in:
Andreas Möller
2022-07-15 14:48:44 +02:00
committed by GitHub
parent 5c9eab2f38
commit f127de5db9
13 changed files with 31 additions and 28 deletions

View File

@@ -175,7 +175,7 @@ if (preg_match('/^GH-(\d+)$/', $URI, $matches)) {
// Redirect if the entered URI was a PHP page name (except some pages,
// which we display in the mirror's language or the explicitly specified
// language [see below])
if (!in_array($URI, array('mirror-info', 'error', 'mod')) &&
if (!in_array($URI, array('mirror-info', 'error', 'mod'), false) &&
file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) {
mirror_redirect("/$URI.php");
}