Morris Jobke 870fe20acc Use $var[] = $a instead of array_push - 2x faster | há 6 anos atrás | |
---|---|---|
.. | ||
Event.php | a845f7bc01 Fix wrong copyright headers | há 8 anos atrás |
EventMerger.php | 0eebff152a Update license headers | há 7 anos atrás |
LegacyFilter.php | 0eebff152a Update license headers | há 7 anos atrás |
LegacySetting.php | 0eebff152a Update license headers | há 7 anos atrás |
Manager.php | 870fe20acc Use $var[] = $a instead of array_push - 2x faster | há 6 anos atrás |