Test: /ext/standard/tests/url/get_headers_error_003.phpt - Version 7.2.12    

There are 4 different diffs reported by users for this test.

Count Diff
3 (43%)
001+ Warning: get_headers(): http:// wrapper is disabled in the server configuration by allow_url_fopen=0 in %s/get_headers_error_003.php on line 13
002+
003+ Warning: get_headers(): This function may only be used against URLs in %s/get_headers_error_003.php on line 13
004+
005+
006+ Warning: get_headers(): http:// wrapper is disabled in the server configuration by allow_url_fopen=0 in %s/get_headers_error_003.php on line 17
007+
008+ Warning: get_headers(): This function may only be used against URLs in %s/get_headers_error_003.php on line 17
009+
001- HEAD
002- HEAD
2 (29%)
001+ <br />
002+ <b>Warning</b>: Unknown: php_network_getaddresses: getaddrinfo failed: Name or service not known in <b>Unknown</b> on line <b>0</b><br />
003+ Server is not running
001- HEAD
002- HEAD
003- Done
1 (14%)
001+ PHP 7.2.12 Development Server started at Thu Nov 22 12:54:20 2018
1 (14%)
001+ ** ERROR: process timed out **
001- HEAD
002- HEAD
003- Done