Changer servlet mapping order in web.xml to handle .php files with PhpServlet