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