Editing: MigrationRepositoryInterface.php