Xinchen Hui 0e62639d28 Merge branch 'PHP-7.1' into PHP-7.2 ...

* PHP-7.1:
  Happy new year (Update copyright to 2018)

2018-01-03 16:00:34 +08:00

..

generate-phpt

Set default value for some properties in generate-phpt

2017-12-13 21:28:29 +01:00

check_parameters.php

Happy new year (Update copyright to 2018)

2018-01-02 23:42:29 +02:00

credits

Replaces php5 with php7, without whitespace changes.

2014-09-20 10:01:44 +02:00

find_tested.php

Docs for find_tested.php

2015-08-04 16:46:47 -05:00

gen_verify_stub

fix stub to accept user properly

2017-01-09 15:57:46 +00:00

generate-phpt.phar

typo fixes - https://github.com/vlajos/misspell_fixer

2014-11-19 20:23:00 +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