Editing: DeprecatedException.php