5 <meta http-equiv="Content-Type" content="text/html; charset=<?=CHARSET?>" />
6 <?php $ROBOTS_CONTENT = isset($ROBOTS_META) ? $ROBOTS_META : "noindex,nofollow"; ?>
7 <meta name="robots" content="<?= $ROBOTS_CONTENT ?>" />
8 <?php if (!empty($PAGE_DESCRIPTION)) { ?>
9 <meta name="description" content="<?=$PAGE_DESCRIPTION?>" />
11 <?php if (!empty($PAGE_KEYWORDS)) { ?>
12 <meta name="keywords" content="<?=$PAGE_KEYWORDS?>" />
14 <meta name="language" content="<?=DEFAULT_LANGUAGE?>" />
15 <meta name="document-type" content="Public" />
16 <meta name="document-rating" content="General" />
17 <meta name="generator" content="PhpWiki" />
18 <meta name="PHPWIKI_VERSION" content="<?=PHPWIKI_VERSION?>" />
19 <base href="<?=PHPWIKI_BASE_URL?>" />
20 <link rel="shortcut icon" href="<?=$WikiTheme->getImageURL('favicon.ico')?>" />
22 * Additional navigation links are provided here in the html header for browsers
23 * which support them: Mozilla, iCab, Amaya (and certain versions of Opera??).
25 * See http://www.w3.org/TR/html401/struct/links.html#edef-LINK
26 * http://www.euronet.nl/~tekelenb/WWW/LINK/index.html
28 <?php /* The next few lines are wrapped in an odd manner to allow gettext string extraction: cd locale;make */ ?>
29 <link rel="home" title="<?=HOME_PAGE?>" href="<?=WikiURL(HOME_PAGE)?>" />
30 <link rel="help" title="<?=_("HowToUseWiki")?>" href="<?=WikiURL(
31 _("HowToUseWiki"))?>" />
32 <link rel="copyright" title="<?=COPYRIGHTPAGE_TITLE?>" href="<?=COPYRIGHTPAGE_URL?>" />
33 <link rel="author" title="<?=AUTHORPAGE_TITLE?>" href="<?=AUTHORPAGE_URL?>" />
34 <link rel="search" title="<?=_("FindPage")?>" href="<?=WikiURL(
37 * Provide alternate variations of the page content:
38 * 'viewsource' and 'browse'.
39 * Translated pages could go here too.
41 if (!empty($revision)) {
42 $args = $request->getargs();
43 $action = $args['action'];
44 if (!($action == "viewsource")) {
45 $alternatelinkTitle = fmt("%s: %s", _("View Source"), $page->getName());
46 $alternatelinkUrl = WikiURL($revision, array('action' => 'viewsource'));
48 if (!($action == "browse")) {
49 $alternatelinkTitle = $page->getName();
50 $alternatelinkUrl = WikiURL($revision, array('action' => 'browse'));
52 <link rel="alternate" title="<?= $alternatelinkTitle ?>" href="<?= $alternatelinkUrl ?>" />
55 * Link tag for RSS auto-discovery. See
56 * http://diveintomark.org/archives/2002/05/30.html#rss_autodiscovery
57 * http://www.oreillynet.com/cs/weblog/view/wlg/1475
60 <link rel="alternate" type="application/rss+xml" title="RSS" href="<?=WikiURL(_("RecentChanges"), array('format' => 'rss'))?>" />
63 * Add some user-specific links.
65 <?php if (!$user->isSignedIn()) {
66 /* For users not signed in */ ?>
67 <link rel="bookmark" title="<?=
68 _("SandBox")?>" href="<?=WikiURL(
70 <link rel="bookmark" title="<?=
71 _("WikiWikiWeb")?>" href="<?=WikiURL(
72 _("WikiWikiWeb"))?>" />
74 <link rel="alternate" type="application/x-wiki" title="Edit this page!" href="<?= WikiURL($page,array('action'=>'edit')) ?>" />
75 <?php if ($user->isadmin()) {
76 /* Only for the Administrator */ ?>
77 <link rel="bookmark" title="<?=
78 _("PhpWikiAdministration")?>" href="<?=WikiURL(
79 _("PhpWikiAdministration"))?>" />
82 <?php if ($user->isSignedIn()) {
83 /* For signed-in users */ ?>
84 <link rel="bookmark" title="<?=
85 _("UserPreferences")?>" href="<?=WikiURL(
86 _("UserPreferences"))?>" />
87 <?php /* User's calendar page
89 $UserCalPageTitle = $user->getId() . SUBPAGE_SEPARATOR ._("Calendar");
90 $UserCalPageUrl = WikiURL($UserCalPageTitle);
92 <link rel="bookmark" title="<?= $UserCalPageTitle ?>" href="<?= $UserCalPageUrl ?>" />
93 <?php /* Today's calendar page for the user if it exists
95 $UserCalPageTodayTitle = $UserCalPageTitle . SUBPAGE_SEPARATOR . strftime("%Y-%m-%d", time()); //FIXME
96 $dbi = $request->getDbh();
97 if ($dbi->isWikiPage($UserCalPageTodayTitle)) {
98 $UserCalPageTodayUrl = WikiURL($UserCalPageTodayTitle);
100 <link rel="bookmark" title="<?= $UserCalPageTodayTitle ?>" href="<?= $UserCalPageTodayUrl ?>" />
102 <?php } //end of links for signed-in user ?>
104 <?= $WikiTheme->getCSS() ?>
106 // avoid redundant bookmark title for custom home page
107 if ($page->getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME)
110 $pagetitle = " - ". AsString($TITLE);
112 <title><?= WIKI_NAME.$pagetitle ?></title>
114 require_once("lib/plugin/RateIt.php");
115 $plugin = new WikiPlugin_RateIt;
118 <?= $WikiTheme->getMoreHeaders() ?>