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