[phpMyAdmin Git] [phpmyadmin/phpmyadmin] ed132f: Replace array_push for performances