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