clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-22 02:17:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
83c2e6787d
php-src/scripts/dev
History
Nikita Popov 1df8175b61 Convert fetch_resource warnings into TypeErrors 
More type checks that are not part of zpp and should generate a
TypeError in PHP 8.
2019-06-03 09:17:12 +02:00
..
bless_tests.php Convert fetch_resource warnings into TypeErrors 2019-06-03 09:17:12 +02:00
check_parameters.php Remove yearly range from copyright notice 2019-01-30 11:03:12 +02:00
credits Make credits script executable from other paths 2019-03-16 01:37:34 +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
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 Remove yearly range from copyright notice 2019-01-30 11:03:12 +02:00