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