[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 5fdd28: Add missing semicolon