Suppress psalm's possibly undefined array key error in examples

tarantool-php · Oct 10, 2022 · a62aad8 · a62aad8
1 parent ce76c67
commit a62aad8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/examples/bootstrap.php b/examples/bootstrap.php
@@ -42,6 +42,7 @@ function ensure_server_version_at_least(string $version, Client $client) : void
         return;
     }
 
+    /** @psalm-suppress PossiblyUndefinedArrayOffset */
     requirement_exit('Tarantool version >= %s is required to run "%s"', $version, $_SERVER['SCRIPT_FILENAME']);
 }
 
@@ -51,6 +52,7 @@ function ensure_extension(string $name) : void
         return;
     }
 
+    /** @psalm-suppress PossiblyUndefinedArrayOffset */
     requirement_exit('PHP extension "%s" is required to run "%s"', $name, $_SERVER['SCRIPT_FILENAME']);
 }