[phpMyAdmin Git] [phpmyadmin/phpmyadmin] ddf580: Fix OmniWeb version match (issue #12615)