MySQL ALL-satsen fungerar inte i phpmyadmin

Detta verkar för mig vara ett problem med phpMyAdmin-parserbiblioteket; Jag har rapporterat det på https://github.com/phpmyadmin/phpmyadmin/issues/12028