1 files changed, 1 insertions, 0 deletions
diff --git a/p/ext.php b/p/ext.php
index aa6972d83..b4d32f7ed 100644
--- a/p/ext.php
+++ b/p/ext.php
@@ -60,6 +60,7 @@ function is_valid_path_extension($path, $extensionPath, $isStatic = true) {
 
 	// Static files to serve must be under a `ext_dir/static/` directory.
 	$path_relative_to_ext = substr($path, strlen($real_ext_path) + 1);
+	// @phpstan-ignore-next-line
 	list(,$static,$file) = sscanf($path_relative_to_ext, '%[^/]/%[^/]/%s');
 	if (null === $file || 'static' !== $static) {
 		return false;