Patch from Anders Betn�for initializing the PHP source locator.