/**
* Call to signal that execution of this maintenance script is complete so
* the next one gets the right indentation.
*/
public function done()
{
Maintenance::$indent = substr(Maintenance::$indent, 1);
}
/**
* Call to signal that execution of this maintenance script is complete so
* the next one gets the right indentation.
*/
public function done()
{
Maintenance::$indent = substr(Maintenance::$indent, 1);
}
