public function executeDiff() { $id = $this->getRequestParameter('id'); $this->filterAuthorizedPeople($id); parent::executeDiff(); }
public function executeDiff() { parent::executeDiff(); $this->title_prefix = $this->getHighestSummitName(); $this->setPageTitle($this->title_prefix . $this->__(' :') . ' ' . $this->new_document->get('name') . ' :: ' . $this->__('diff') . ' ' . $this->getRequestParameter('old') . ' > ' . $this->getRequestParameter('new')); }
public function executeDiff() { $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::executeDiff(); }