5 <meta http-equiv="Content-Type" content="text/html; charset=<?php echo CHARSET?>" />
6 <?php $ROBOTS_CONTENT = isset($ROBOTS_META) ? $ROBOTS_META : "noindex,nofollow"; ?>
7 <meta name="robots" content="<?php echo $ROBOTS_CONTENT ?>" />
8 <?php if (!empty($PAGE_DESCRIPTION)) { ?>
9 <meta name="description" content="<?php echo $PAGE_DESCRIPTION?>" />
11 <?php if (!empty($PAGE_KEYWORDS)) { ?>
12 <meta name="keywords" content="<?php echo $PAGE_KEYWORDS?>" />
14 <meta name="language" content="<?php echo 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="<?php echo PHPWIKI_VERSION?>" />
19 <base href="<?php echo PHPWIKI_BASE_URL?>" />
20 <link rel="shortcut icon" href="<?php echo $WikiTheme->getImageURL('favicon.ico')?>" />
21 <?php /* The next few lines are wrapped in an odd manner to allow gettext string extraction: cd locale;make */ ?>
22 <link rel="home" title="<?php echo HOME_PAGE?>" href="<?php echo WikiURL(HOME_PAGE)?>" />
23 <link rel="help" title="<?php echo _("HowToUseWiki")?>" href="<?php echo WikiURL(
24 _("HowToUseWiki"))?>" />
25 <link rel="copyright" title="<?php echo COPYRIGHTPAGE_TITLE?>" href="<?php echo COPYRIGHTPAGE_URL?>" />
26 <link rel="author" title="<?php echo AUTHORPAGE_TITLE?>" href="<?php echo AUTHORPAGE_URL?>" />
27 <link rel="search" title="<?php echo _("FindPage")?>" href="<?php echo WikiURL(
30 * Provide alternate variations of the page content:
31 * 'viewsource' and 'browse'.
32 * Translated pages could go here too.
34 if (!empty($revision)) {
35 $args = $request->getargs();
36 $action = $args['action'];
37 if (!($action == "viewsource")) {
38 $alternatelinkTitle = fmt("%s: %s", _("View Source"), $page->getName());
39 $alternatelinkUrl = WikiURL($revision, array('action' => 'viewsource'));
41 if (!($action == "browse")) {
42 $alternatelinkTitle = $page->getName();
43 $alternatelinkUrl = WikiURL($revision, array('action' => 'browse'));
45 <link rel="alternate" title="<?php echo $alternatelinkTitle ?>" href="<?php echo $alternatelinkUrl ?>" />
48 * Link tag for RSS auto-discovery. See
49 * http://diveintomark.org/archives/2002/05/30.html#rss_autodiscovery
50 * http://www.oreillynet.com/cs/weblog/view/wlg/1475
53 <link rel="alternate" type="application/rss+xml" title="RSS" href="<?php echo WikiURL(_("RecentChanges"), array('format' => 'rss'))?>" />
56 * Add some user-specific links.
58 <?php if (!$user->isSignedIn()) {
59 /* For users not signed in */ ?>
60 <link rel="bookmark" title="<?php echo
61 _("SandBox")?>" href="<?php echo WikiURL(
63 <link rel="bookmark" title="<?php echo
64 _("WikiWikiWeb")?>" href="<?php echo WikiURL(
65 _("WikiWikiWeb"))?>" />
67 <link rel="alternate" type="application/x-wiki" title="Edit this page!" href="<?php echo WikiURL($page,array('action'=>'edit')) ?>" />
68 <?php if ($user->isadmin()) {
69 /* Only for the Administrator */ ?>
70 <link rel="bookmark" title="<?php echo
71 _("PhpWikiAdministration")?>" href="<?php echo WikiURL(
72 _("PhpWikiAdministration"))?>" />
75 <?php if ($user->isSignedIn()) {
76 /* For signed-in users */ ?>
77 <link rel="bookmark" title="<?php echo
78 _("UserPreferences")?>" href="<?php echo WikiURL(
79 _("UserPreferences"))?>" />
80 <?php /* User's calendar page
82 $UserCalPageTitle = $user->getId() . SUBPAGE_SEPARATOR ._("Calendar");
83 $UserCalPageUrl = WikiURL($UserCalPageTitle);
85 <link rel="bookmark" title="<?php echo $UserCalPageTitle ?>" href="<?php echo $UserCalPageUrl ?>" />
86 <?php /* Today's calendar page for the user if it exists
88 $UserCalPageTodayTitle = $UserCalPageTitle . SUBPAGE_SEPARATOR . strftime("%Y-%m-%d", time()); //FIXME
89 $dbi = $request->getDbh();
90 if ($dbi->isWikiPage($UserCalPageTodayTitle)) {
91 $UserCalPageTodayUrl = WikiURL($UserCalPageTodayTitle);
93 <link rel="bookmark" title="<?php echo $UserCalPageTodayTitle ?>" href="<?php echo $UserCalPageTodayUrl ?>" />
95 <?php } //end of links for signed-in user ?>
97 <?php echo $WikiTheme->getCSS() ?>
99 // avoid redundant bookmark title for custom home page
100 if ($page->getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME)
103 $pagetitle = " - ". AsString($TITLE);
105 <title><?php echo WIKI_NAME.$pagetitle ?></title>
106 <?php if (ENABLE_OPEN_GRAPH) { ?>
107 <meta property="og:title" content="<?php echo strip_tags($TITLE) ?>"/>
108 <meta property="og:site_name" content="<?php echo WIKI_NAME ?>"/>
111 require_once("lib/plugin/RateIt.php");
112 $plugin = new WikiPlugin_RateIt;
115 <?php echo $WikiTheme->getMoreHeaders() ?>