Merge branch 'release/0.10.x'

lunr-php · Dec 10, 2024 · 04fe670 · 04fe670
2 parents a975378 + a0c59b8
commit 04fe670
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/Lunr/Core/Configuration.php b/src/Lunr/Core/Configuration.php
@@ -128,6 +128,12 @@ public function load_file(string $identifier): void
 
         include_once 'conf.' . $identifier . '.inc.php';
 
+        /**
+         * Since we're including a config file here, it's conceivable that $config
+         * might not stay an array. Ignore the phpstan check for that.
+         *
+         * @phpstan-ignore function.alreadyNarrowedType
+         */
         if (!is_array($config))
         {
             $config = [];