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();
 }