5 <?php if ($revision and !$revision->isCurrent()) { ?>
6 <p><strong><?php echo _("Note:")?></strong>
7 <?php echo _("You are viewing an old revision of this page.")?>
8 <?php echo Button('browse', _("View the current version"), $page)?>.
11 <?php if (!empty($redirected)) { ?>
12 <p><?php echo $redirected ?></p>
17 <p class="editdate"><?php echo $WikiTheme->getLastModifiedMessage($revision) ?></p>
19 global $HIDE_TOOLBARS;
20 if (!$HIDE_TOOLBARS) {