spike › NosmokeTutorial › CollectiveCodeOwnership › LinusTorvalds › ReallyGoodEditor
".$options[timer]->Write()."