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
..
BackupCodeStorage.php	Use $var[] = $a instead of array_push - 2x faster	2018-01-25 22:36:03 +01:00