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