[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 2c161c: Add str_replace(DIRECTORY_SEPARATOR, '/'