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	Fix wrong copyright headers	2016-11-16 12:20:04 +01:00
EventMerger.php	Update license headers	2017-11-06 16:56:19 +01:00
LegacyFilter.php	Update license headers	2017-11-06 16:56:19 +01:00
LegacySetting.php	Update license headers	2017-11-06 16:56:19 +01:00
Manager.php	Use $var[] = $a instead of array_push - 2x faster	2018-01-25 22:36:03 +01:00