9 Commits

Author	SHA1	Message	Date
Nikita Popov	58b17906f5	Apply tidy formatting ... Mostly reindent PHP scripts to spaces.	2020-02-03 13:41:31 +01:00
Zeev Suraski	0cf7de1c70	Remove yearly range from copyright notice	2019-01-30 11:03:12 +02:00
Peter Kokot	02294f0c84	Make PHP development tools files and scripts executable ... This patch makes several scripts and PHP development tools files executable and adds more proper shebangs to the PHP scripts. The `#!/usr/bin/env php` shebang provides running the script via `./script.php` and uses env to find PHP script location on the system. At the same time it still provides running the script with a user defined PHP location using `php script.php`.	2018-08-29 20:58:17 +02:00
Xinchen Hui	a6519d0514	year++	2018-01-02 12:57:58 +08:00
Sammy Kaye Powers	9e29f841ce	Update copyright headers to 2017	2017-01-02 09:30:12 -06:00
Lior Kaplan	2eb1f38d24	Happy new year (Update copyright to 2016)	2016-01-01 20:03:16 +02:00
Bob Weinand	4a174ca7e6	Fixed bug #70532 (respect set_exception_handler in phpdbg)	2015-09-23 17:53:29 +02:00
Bob Weinand	6aadeba213	Add show_unexecuted option to phpdbg_end_oplog()	2015-07-20 20:41:07 +02:00
Bob Weinand	378a05f0de	Move phpdbg tests to .phpt mechanism ... Also add a few more in-depth tests related to $argv, breakpoints and uncaught exceptions	2015-07-20 18:00:43 +02:00