get('locked') && !$user->isAdmin()) { ?>

isCurrent()) { ?>

<?php echo $PAGE_SOURCE ?>

---

"> getLastModifiedMessage($revision) ?>