0byt3m1n1
Path:
/
data
/
applications
/
aps.bak
/
phpwiki
/
1.3.14-6
/
standard
/
htdocs
/
themes
/
default
/
templates
/
[
Home
]
File: htmldump.tmpl
<?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>