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