phpMyAdmin: fix MariaDB reported as MySQL (2)
php-ZendOptimizerPlus: new snapshot (ZTS fixes)