themes/default/templates/htmldump.tmpl

   1 <?php  // -*-html-*-
   2 rcs_id('$Id: htmldump.tmpl,v 1.7 2006-08-25 22:06:54 rurban Exp $');
   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 echo "<","?xml version=\"1.0\" encoding=\"", $charset, "\"?", ">\n";
   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=<?=$charset?>" />
  14 <?php /**
  15        * Additional navigation links are provided here in the html header for browsers
  16        * which support them: Mozilla, iCab, Amaya (and certain versions of Opera??).
  17        *
  18        * See http://www.w3.org/TR/html401/struct/links.html#edef-LINK
  19        *     http://www.euronet.nl/~tekelenb/WWW/LINK/index.html
  20        */ ?>
  21 <link rel="home" title="<?=HOME_PAGE?>" href="<?=WikiURL(HOME_PAGE)?>" />
  22 <link rel="help" title="<?=_("HowToUseWiki")?>" href="<?=WikiURL(_("HowToUseWiki"))?>" />
  23 <link rel="copyright" title="<?=COPYRIGHTPAGE_TITLE?>" href="<?=COPYRIGHTPAGE_URL?>" />
  24 <link rel="author" title="<?=AUTHORPAGE_TITLE?>" href="<?=AUTHORPAGE_URL?>" />
  25 <meta http-equiv="Content-Style-Type" content="text/css" />
  26 <meta http-equiv="Content-Language" content="<?=$GLOBALS['LANG']?>" />
  27 <?php $ROBOTS_CONTENT = isset($ROBOTS_META) ? $ROBOTS_META : "noindex,nofollow"; ?>
  28 <meta name="robots" content="<?= $ROBOTS_CONTENT ?>" />
  29 <?php if (!empty($PAGE_DESCRIPTION)) { ?>
  30 <meta name="description" content="<?=$PAGE_DESCRIPTION?>" />
  31 <?php } ?>
  32 <?php if (!empty($PAGE_KEYWORDS)) { ?>
  33 <meta name="keywords" content="<?=$PAGE_KEYWORDS?>" />
  34 <?php } ?>
  35 <meta name="language" content="<?=$GLOBALS['LANG']?>" />
  36 <meta name="document-type" content="Public" />
  37 <meta name="document-rating" content="General" />
  38 <meta name="generator" content="PhpWiki" />
  39 <meta name="PHPWIKI_VERSION" content="<?=PHPWIKI_VERSION?>" />
  40 <base href="<?=$relative_base?>" />
  41
  42 <?= $WikiTheme->getCSS() ?>
  43 <?php
  44   // avoid redundant bookmark title for custom home page
  45   if ($page->getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME)
  46       $pagetitle = "";
  47   else
  48       $pagetitle = " - ". AsString($TITLE);
  49 ?>
  50 <title><?=WIKI_NAME.$pagetitle?></title>
  51 </head>
  52 <?= Template('body') ?>
  53 <?php
  54 if (defined('DEBUG') and DEBUG) {
  55     echo "<!-- phpwiki source: \n";
  56     echo $RCS_IDS;
  57     echo "-->\n";
  58 }
  59 ?>
  60 </html>