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