themes/default/templates/htmldump.tmpl

   1 <?php  // -*-html-*-
   2 rcs_id('$Id: htmldump.tmpl,v 1.2 2003-03-04 23:34:11 dairiki 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 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 <!-- $Id: htmldump.tmpl,v 1.2 2003-03-04 23:34:11 dairiki Exp $ -->
  14 <meta http-equiv="Content-Type" content="text/html; charset=<?=CHARSET?>" />
  15 <?php /**
  16        * Additional navigation links are provided here in the html header for browsers
  17        * which support them: Mozilla, iCab, Amaya (and certain versions of Opera??).
  18        *
  19        * See http://www.w3.org/TR/html401/struct/links.html#edef-LINK
  20        *     http://www.euronet.nl/~tekelenb/WWW/LINK/index.html
  21        */ ?>
  22 <link rel="home" title="<?=HOME_PAGE?>" href="<?=WikiURL(HOME_PAGE)?>" />
  23 <link rel="help" title="<?=_("HowToUseWiki")?>" href="<?=WikiURL(_("HowToUseWiki"))?>" />
  24 <link rel="copyright" title="GNU General Public License" href="http://www.gnu.org/copyleft/gpl.html#SEC1" />
  25 <?php
  26       $wikiadminName = _("The PhpWiki Programming Team");
  27       $wikiadminUrl = "http://phpwiki.sourceforge.net/phpwiki/ThePhpWikiProgrammingTeam";
  28       ?>
  29 <link rel="author" title="<?= $wikiadminName ?>" href="<?= $wikiadminUrl ?>" />
  30
  31 <?= $Theme->getCSS() ?>
  32 <title><?=WIKI_NAME?> - <?=AsString($TITLE)?></title>
  33 </head>
  34 <?= Template('body') ?>
  35 <?php
  36 if (defined('DEBUG') and DEBUG) {
  37     printf("<!-- phpwiki source: \n%s-->\n", $RCS_IDS);
  38 }
  39 ?>
  40 </html>