Nikita Popov 8eeb1102d0 Avoid mention of php7 in credits script

2019-01-28 11:26:45 +01:00

..

check_parameters.php

Make PHP development tools files and scripts executable

2018-08-29 20:58:17 +02:00

credits

Avoid mention of php7 in credits script

2019-01-28 11:26:45 +01:00

find_tested.php

Sync leading and final newlines in source code files

2018-10-14 12:56:38 +02:00

gen_verify_stub

Sync leading and final newlines in source code files

2018-10-14 12:56:38 +02:00

phpextdist

Remove some obsolete config_vars.mk occurrences

2018-10-16 18:05:06 +02:00

search_underscores.php

Make PHP development tools files and scripts executable

2018-08-29 20:58:17 +02:00