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
Peter Kokot 066b5b7881 Remove some obsolete config_vars.mk occurrences 
The `config_vars.mk` file was a part of previous *nix build system and
has been removed via 9d9d39a0de.
2018-10-16 18:05:06 +02:00
..
check_parameters.php Make PHP development tools files and scripts executable 2018-08-29 20:58:17 +02:00
credits Fix some misspellings 2018-08-12 16:15:45 +02: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