php-src/scripts/dev
2020-04-03 10:48:20 +02:00
..
bless_tests.php Improve bless tests script to minimize diffs 2019-10-01 15:00:22 +02:00
check_parameters.php Merge branch 'PHP-7.4' 2020-02-03 13:42:08 +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 Remove mention of PHP major version in Copyright headers 2019-09-25 14:51:43 +02:00
makedist Enhance makedist script 2019-05-18 02:05:59 +02:00
search_underscores.php Merge branch 'PHP-7.4' 2020-02-03 13:42:08 +01:00
tidy.php Enable formatting of phpt files in tidy.php 2020-02-03 22:52:04 +01:00