server/lib/private/Activity
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 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