themes/Crao/templates/htmldump.tmpl

   1 <?php  // -*-php-*-
   2 // $Id$
   3 /*
   4  * This template is used only for html file dumps, and is responsible
   5  * mainly for the outer level <html> stuff and the and <head>.
   6  */
   7 printf("<?xml version=\"1.0\" encoding=\"%s\"?>\n", CHARSET);
   8 ?>
   9 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  10   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  11 <html xmlns="http://www.w3.org/1999/xhtml">
  12 <head>
  13 <meta http-equiv="Content-Type" content="text/html; charset=<?php echo CHARSET?>" />
  14 <link rel="home" title="<?php echo HOME_PAGE?>" href="<?php echo WikiURL(HOME_PAGE)?>" />
  15 <link rel="help" title="<?php echo _("HowToUseWiki")?>" href="<?php echo WikiURL(_("HowToUseWiki"))?>" />
  16 <link rel="copyright" title="<?php echo COPYRIGHTPAGE_TITLE?>" href="<?php echo COPYRIGHTPAGE_URL?>" />
  17 <link rel="author" title="<?php echo AUTHORPAGE_TITLE?>" href="<?php echo AUTHORPAGE_URL?>" />
  18
  19 <?php echo $WikiTheme->getCSS() ?>
  20 <?php
  21   // avoid redundant bookmark title for custom home page
  22   if ($page->getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME)
  23       $pagetitle = "";
  24   else
  25       $pagetitle = " - ". AsString($TITLE);
  26 ?>
  27 <title><?php echo WIKI_NAME.$pagetitle?></title>
  28 </head>
  29 <?php echo Template('body') ?>
  30 </html>