public function executeHistory() { $id = $this->getRequestParameter('id'); $this->filterAuthorizedPeople($id); parent::executeHistory(); }
public function executeHistory() { parent::executeHistory(); $this->title_prefix = $this->getHighestSummitName(); // redefine page title: prepend summit name $this->setPageTitle($this->title_prefix . $this->__(' :') . ' ' . $this->document_name . ' :: ' . $this->__('history')); }
public function executeHistory() { $id = $this->getRequestParameter('id'); $user = $this->getUser(); $lang = $this->getRequestParameter('lang'); $document = $this->getDocument($id, $lang); $copyright_image = $document->get('image_type') == 3; if (!$user->hasCredential('moderator') && $copyright_image) { $referer = $this->getRequest()->getReferer(); $this->setErrorAndRedirect('You do not have the rights to edit this picture', $referer); } parent::executeHistory(); }