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