headers_list() returns a list of headers as strings.

johnbillion · ondrejmirtes · commit 1c6a33386737 · 2022-10-13T15:13:50.000+02:00
diff --git a/resources/functionMap.php b/resources/functionMap.php
@@ -3933,7 +3933,7 @@
 'header' => ['void', 'header'=>'string', 'replace='=>'bool', 'http_response_code='=>'int'],
 'header_register_callback' => ['bool', 'callback'=>'callable'],
 'header_remove' => ['void', 'name='=>'string'],
-'headers_list' => ['array'],
+'headers_list' => ['list<string>'],
 'headers_sent' => ['bool', '&w_file='=>'string', '&w_line='=>'int'],
 'hebrev' => ['string', 'str'=>'string', 'max_chars_per_line='=>'int'],
 'hebrevc' => ['string', 'str'=>'string', 'max_chars_per_line='=>'int'],
