Using phpMyAdmin 3.5.7 with MariaDB (fedora official packages from distribution)
In main page:
Database server
Server: Localhost via UNIX socket
Software: MySQL
Software version: 5.5.29-MariaDB - MariaDB Server
Attached trivial patch fixes this minor issue.
Thanks for your patch, however, I found better to use stripos().