[phpMyAdmin Git] [phpmyadmin/phpmyadmin] b3a1a0: Use PATH_SEPARATOR for determining path separator