archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-16 14:08:47 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
php-src/scripts/dev
History
Nikita Popov 58b17906f5 Apply tidy formatting 
Mostly reindent PHP scripts to spaces.
2020-02-03 13:41:31 +01:00
..
bless_tests.php Handle resources used as array keys consistently 2019-09-27 10:40:41 +02:00
check_parameters.php Apply tidy formatting 2020-02-03 13:41:31 +01:00
credits Set Computer English language for credits sorting 2019-06-26 22:35:55 +02:00
find_tested.php Apply tidy formatting 2020-02-03 13:41:31 +01:00
gen_verify_stub Sync leading and final newlines in source code files 2018-10-14 12:56:38 +02:00
genfiles Enhance makedist script 2019-05-18 02:05:59 +02:00
makedist Enhance makedist script 2019-05-18 02:05:59 +02:00
search_underscores.php Apply tidy formatting 2020-02-03 13:41:31 +01:00
tidy.php Add tidy.php to enforce formatting 2020-02-03 13:34:42 +01:00