themes/Crao/templates/htmldump.tmpl

   1 <?php
   2 /*
   3  * This template is used only for html file dumps, and is responsible
   4  * mainly for the outer level <html> stuff and the and <head>.
   5  */
   6 ?>
   7 <!DOCTYPE>
   8 <head>
   9 <meta charset="UTF-8" />
  10 <link rel="home" title="<?php echo HOME_PAGE?>" href="<?php echo WikiURL(HOME_PAGE)?>" />
  11 <link rel="help" title="<?php echo _("HowToUseWiki")?>" href="<?php echo WikiURL(_("HowToUseWiki"))?>" />
  12 <link rel="copyright" title="<?php echo COPYRIGHTPAGE_TITLE?>" href="<?php echo COPYRIGHTPAGE_URL?>" />
  13 <link rel="author" title="<?php echo AUTHORPAGE_TITLE?>" href="<?php echo AUTHORPAGE_URL?>" />
  14
  15 <?php echo $WikiTheme->getCSS() ?>
  16 <?php
  17   // avoid redundant bookmark title for custom home page
  18   if ($page->getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME)
  19       $pagetitle = "";
  20   else
  21       $pagetitle = " - ". AsString($TITLE);
  22 ?>
  23 <title><?php echo WIKI_NAME.$pagetitle?></title>
  24 </head>
  25 <?php echo Template('body') ?>
  26 </html>