[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 42ee7c: Add missing ";".