archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-16 05:58:45 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
php-src/scripts/dev
History
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