/** * 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); }