Editing: MatcherDumperInterface.php