Editing: DumperInterface.php