4 <?php if ($page->get('locked') && !$user->isAdmin()) { ?>
5 <p class="warning_msg"><strong><?php echo _("Note:")?></strong>
6 <?php echo _("This page has been locked and cannot be edited.")?></p>
8 <?php if ($revision and !$revision->isCurrent()) { ?>
9 <p class="warning_msg"><?php echo _("You are viewing an old revision of this page.")?>
10 <?php echo Button('viewsource', _("View the current version."), $page)?></p>
12 <textarea class="wikiedit"
14 rows="<?php echo $request->getPref('editHeight')?>"
15 cols="<?php echo $request->getPref('editWidth')?>"
17 ><?php echo $PAGE_SOURCE ?></textarea>
19 <a href="<?php echo WikiURL($page,array('action'=>_("PageHistory")))?>">
20 <?php echo $WikiTheme->getLastModifiedMessage($revision) ?></a>