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