Editing: IncompatibleReturnValueException.php