themes/Sidebar/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 html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   8   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
   9 <html xmlns="http://www.w3.org/1999/xhtml">
  10 <head>
  11 <meta http-equiv="Content-Type" content="text/html; charset=<?php echo $charset?>" />
  12 <link rel="home" title="<?php echo HOME_PAGE?>" href="<?php echo WikiURL(HOME_PAGE)?>" />
  13 <link rel="help" title="<?php echo _("HowToUseWiki")?>" href="<?php echo WikiURL(_("HowToUseWiki"))?>" />
  14 <link rel="copyright" title="<?php echo COPYRIGHTPAGE_TITLE?>" href="<?php echo COPYRIGHTPAGE_URL?>" />
  15 <link rel="author" title="<?php echo AUTHORPAGE_TITLE?>" href="<?php echo AUTHORPAGE_URL?>" />
  16 <meta http-equiv="Content-Style-Type" content="text/css" />
  17 <meta http-equiv="Content-Language" content="<?php echo $GLOBALS['LANG']?>" />
  18 <?php $ROBOTS_CONTENT = isset($ROBOTS_META) ? $ROBOTS_META : "noindex,nofollow"; ?>
  19 <meta name="robots" content="<?php echo $ROBOTS_CONTENT ?>" />
  20 <?php if (!empty($PAGE_DESCRIPTION)) { ?>
  21 <meta name="description" content="<?php echo $PAGE_DESCRIPTION?>" />
  22 <?php } ?>
  23 <?php if (!empty($PAGE_KEYWORDS)) { ?>
  24 <meta name="keywords" content="<?php echo $PAGE_KEYWORDS?>" />
  25 <?php } ?>
  26 <meta name="language" content="<?php echo $GLOBALS['LANG']?>" />
  27 <meta name="document-type" content="Public" />
  28 <meta name="document-rating" content="General" />
  29 <meta name="generator" content="PhpWiki" />
  30 <meta name="PHPWIKI_VERSION" content="<?php echo PHPWIKI_VERSION?>" />
  31
  32 <?php if (!empty($relative_base)) { ?>
  33 <base href="<?php echo $relative_base?>" />
  34 <?php } ?>
  35 <?php echo $WikiTheme->getCSS() ?>
  36 <?php
  37   // avoid redundant bookmark title for custom home page
  38   if ($page->getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME)
  39       $pagetitle = "";
  40   else
  41       $pagetitle = " - ". AsString($TITLE);
  42 ?>
  43 <title><?php echo WIKI_NAME.$pagetitle?></title>
  44 </head>
  45 <?php if ($WikiTheme->DUMP_MODE) { ?>
  46 <?php echo Template('logo') ?>
  47 <?php } ?>
  48 <?php echo Template('body') ?>
  49 <div id="footer">
  50   <?php echo Template('dump-footer') ?>
  51 </div>
  52 </html>