Morris Jobke 870fe20acc Use $var[] = $a instead of array_push - 2x faster ... Signed-off-by: Morris Jobke <hey@morrisjobke.de>		2018-01-25 22:36:03 +01:00
..
Event.php
EventMerger.php
LegacyFilter.php
LegacySetting.php
Manager.php	Use $var[] = $a instead of array_push - 2x faster	2018-01-25 22:36:03 +01:00