Christoph M. Becker 23aa355bf2 Merge branch 'PHP-7.3' ... * PHP-7.3: Remove some old parts of the php		2018-08-25 11:58:50 +02:00
..
check_parameters.php	Remove unused Git attributes ident	2018-07-25 00:53:25 +02:00
credits	Fix some misspellings	2018-08-12 16:15:45 +02:00
find_tested.php	Fix some misspellings	2018-02-06 16:59:00 +01:00
gen_verify_stub	fix stub to accept user properly	2017-01-09 15:57:46 +00:00
phpextdist	Moved phpextdist to dev/	2005-04-30 02:40:19 +00:00
search_underscores.php	Happy new year (Update copyright to 2018)	2018-01-02 23:42:29 +02:00