function forget(Tiki_Profile $profile) { $key = $profile->getProfileKey(); unset($this->installed[$key]); $profile->removeSymbols(); }