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

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

Count Diff
1 (33%)
001+ Warning: file_put_contents(/home/mks/languages/php-7.3.1/sapi/cli/tests/index.php): failed to open stream: Permission denied in /home/mks/languages/php-7.3.1/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
1 (33%)
001+ Server is not running
001- HEAD
002- HEAD
003- Done
1 (33%)
001+ PHP 7.3.1 Development Server started at Wed Feb 6 10:17:23 2019