1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

Merge branch 'PHP-8.4'

* PHP-8.4:
  Fix GH-16199: GREP_HEADER() is broken
This commit is contained in:
Christoph M. Becker
2024-10-03 18:33:37 +02:00

View File

@@ -965,14 +965,19 @@ function GREP_HEADER(header_name, regex, path_to_check)
if (!c) {
/* look in the include path */
if (path_to_check == null) {
path_to_check = php_usual_include_suspects;
} else {
path_to_check += ";" + php_usual_include_suspects;
}
var p = search_paths(header_name, path_to_check, "INCLUDE");
if (typeof(p) == "string") {
c = file_get_contents(p);
c = file_get_contents(p + "\\" + header_name);
} else if (p == false) {
p = search_paths(header_name, PHP_EXTRA_INCLUDES, null);
if (typeof(p) == "string") {
c = file_get_contents(p);
c = file_get_contents(p + "\\" + header_name);
}
}
if (!c) {