Bugfix for invalid initialization of StaticResourceLocator in PhpServlet