[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 38aba0: Use DIRECTORY_SEPARATOR