pagetools.st

<div class="pageTools">
  <fieldset>
    <legend>This page</legend>
    <ul>
      <li><a href="$base$/_showraw$pageUrl$$if(revision)$?revision=$revision$$endif$">Raw page source</a></li>
      <li><a href="$base$$pageUrl$?printable$if(revision)$&amp;revision=$revision$$endif$">Printable version</a></li>
      <li><a href="$base$/_delete$pageUrl$">Delete this page</a></li>
    </ul>
    $exportbox$
  </fieldset>
</div>