Fix for PHP not being available during mocking