[phpMyAdmin Git] [phpmyadmin/phpmyadmin] aebd3e: Use PATH_SEPARATOR instead of own one