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

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

Count Diff
3 (75%)
001+ Server is not running
001- HEAD
002- HEAD
003- Done
1 (25%)
001+ Warning: file_put_contents(/home/ubuntu/development/php/php-src/sapi/cli/tests/index.php): failed to open stream: Permission denied in /home/ubuntu/development/php/php-src/sapi/cli/tests/php_cli_server.inc on line 11
002+
003+ Notice: Undefined index: X-Request-Method in %s/get_headers_error_003.php on line 14
004+
005+
006+ Notice: Undefined index: X-Request-Method in %s/get_headers_error_003.php on line 18
007+
001- HEAD
002- HEAD