core ^10

2025-07-23 11:05:21 +02:00
parent f7dc1144af
commit db3b7e551e
150 changed files with 2340 additions and 2946 deletions
@@ -39,7 +39,7 @@ if (file_exists(__DIR__ . $url['path'])) {
 // Work around the PHP bug.
 $path = $url['path'];
 $script = 'index.php';
-if (strpos($path, '.php') !== FALSE) {
+if (str_contains($path, '.php')) {
  // Work backwards through the path to check if a script exists. Otherwise
  // fallback to index.php.
  do {