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