Merge pull request #6206 from Jack97/update-return-types

Update return types for get_headers and get_meta_tags
vimeo · Jul 29, 2021 · 6c475e0 · 6c475e0
2 parents 9414b11 + 6ed8a4d
commit 6c475e0
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/stubs/CoreGenericFunctions.phpstub b/stubs/CoreGenericFunctions.phpstub
@@ -1266,16 +1266,20 @@ function base64_encode(string $data) : string {}
  *
  * @param resource|null $context
  *
+ * @return ($format is 0 ? list<string> : array<string, string|list<string>>)|false
+ *
  * @psalm-taint-sink ssrf $url
  */
-function get_headers(string $url, int $format = 0, $context = null) : array {}
+function get_headers(string $url, int $format = 0, $context = null) : array|false {}
 
 /**
  * @psalm-pure
  *
+ * @return array<lowercase-string, string>|false
+ *
  * @psalm-taint-sink ssrf $filename
  */
-function get_meta_tags(string $filename, bool $use_include_path = false) : array {}
+function get_meta_tags(string $filename, bool $use_include_path = false) : array|false {}
 
 /**
  * @return ($categorize is false ? array<string,int|string|float|bool|null|array|resource> : array<string, array<string,int|string|float|bool|null|array|resource>>)