src/Database/Migrator.php
/**
	 * Removes an executed migration and its schema record from the migrator, and updates the corresponding batch.
	 *
	 * @param MigrationBatch $batch
	 * @param Migration $migration
	 * @return void
	 */
Removes an executed migration and its schema record from the migrator, and updates the corresponding batch.
@param MigrationBatch $batch
@param Migration $migration
@return void
Removes an executed migration and its schema record from the migrator and updates the corresponding batch . @param MigrationBatch $batch @param Migration $migration @return void
public function removeBatchMilestone(MigrationBatch $batch, Migration $migration) {
		if (isset($this->schemaRecords[$migration->getRecordName()])) {
			unset($this->schemaRecords[$migration->getRecordName()]);
			$migrations = $batch->getMigrations();
			$index = array_search($migration, $migrations);
			if ($index !== false) {
				unset($migrations[$index]);
			}
		}
	}
public function removeBatchMilestone ( MigrationBatch $ batch , Migration $ migration ) { if ( isset ( $ this -> schemaRecords [ $ migration -> getRecordName ( ) ] ) ) { unset ( $ this -> schemaRecords [ $ migration -> getRecordName ( ) ] ) ; $ migrations = $ batch -> getMigrations ( ) ; $ index = array_search ( $ migration , $ migrations ) ; if ( $ index !== false ) { unset ( $ migrations [ $ index ] ) ; } } }
Removes an executed migration and its schema record from the migrator, and updates the corresponding batch.
Removes an executed migration and its schema record from the migrator and updates the corresponding batch .