Complements the PHP reflection API with the missing ReflectionFile class