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