Nikita Popov a6c9c7c2b8 Handle resources used as array keys consistently ... Resources used as array keys are generally handled by throwing a notice and converting the resource to the resource handle. The only exception is the [$resource => null] syntax, where this was treated as an illegal offset type instead. However, this also only happened for VM evaluations, the AST evaluator did handle resources correctly.		2019-09-27 10:40:41 +02:00
..
bless_tests.php	Handle resources used as array keys consistently	2019-09-27 10:40:41 +02:00
check_parameters.php	Remove yearly range from copyright notice	2019-01-30 11:03:12 +02:00
credits	Set Computer English language for credits sorting	2019-06-26 22:35:55 +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
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