themes/wikilens/templates/head.tmpl

   1 <head>
   2 <meta charset="UTF-8" />
   3 <?php $ROBOTS_CONTENT = isset($ROBOTS_META) ? $ROBOTS_META : "noindex,nofollow"; ?>
   4 <meta name="robots" content="<?php echo $ROBOTS_CONTENT ?>" />
   5 <?php if (!empty($PAGE_DESCRIPTION)) { ?>
   6 <meta name="description" content="<?php echo $PAGE_DESCRIPTION?>" />
   7 <?php } ?>
   8 <?php if (!empty($PAGE_KEYWORDS)) { ?>
   9 <meta name="keywords" content="<?php echo $PAGE_KEYWORDS?>" />
  10 <?php } ?>
  11 <meta name="generator" content="PhpWiki" />
  12 <base href="<?php echo PHPWIKI_BASE_URL?>" />
  13 <link rel="shortcut icon" href="<?php echo $WikiTheme->getImageURL('favicon.ico')?>" />
  14 <link rel="stylesheet" type="text/css" href="<?php echo DATA_PATH ?>/highlight.js/styles/github.css"/>
  15 <?php /* The next few lines are wrapped in an odd manner to allow gettext string extraction: cd locale;make */ ?>
  16 <link rel="home" title="<?php echo HOME_PAGE?>" href="<?php echo WikiURL(HOME_PAGE)?>" />
  17 <link rel="help" title="<?php echo _("HowToUseWiki")?>" href="<?php echo WikiURL(
  18 _("HowToUseWiki"))?>" />
  19 <link rel="copyright" title="<?php echo COPYRIGHTPAGE_TITLE?>" href="<?php echo COPYRIGHTPAGE_URL?>" />
  20 <link rel="author" title="<?php echo AUTHORPAGE_TITLE?>" href="<?php echo AUTHORPAGE_URL?>" />
  21 <link rel="search" title="<?php echo _("FindPage")?>" href="<?php echo WikiURL(
  22 _("FindPage"))?>" />
  23 <?php /**
  24        * Provide alternate variations of the page content:
  25        * 'viewsource' and 'browse'.
  26        * Translated pages could go here too.
  27        */
  28       if (!empty($revision)) {
  29           $args = $request->getargs();
  30           $action = $args['action'];
  31           if (!($action == "viewsource")) {
  32             $alternatelinkTitle = fmt("%s: %s", _("View Source"), $page->getName());
  33             $alternatelinkUrl = WikiURL($revision, array('action' => 'viewsource'));
  34           }
  35           if (!($action == "browse")) {
  36             $alternatelinkTitle = $page->getName();
  37             $alternatelinkUrl = WikiURL($revision, array('action' => 'browse'));
  38           } ?>
  39 <link rel="alternate" title="<?php echo $alternatelinkTitle ?>" href="<?php echo $alternatelinkUrl ?>" />
  40 <?php }
  41       /**
  42        * Link tag for RSS auto-discovery.  See
  43        * http://diveintomark.org/archives/2002/05/30.html#rss_autodiscovery
  44        * http://www.oreillynet.com/cs/weblog/view/wlg/1475
  45        */
  46 ?>
  47 <link rel="alternate" type="application/rss+xml" title="RSS" href="<?php echo WikiURL(_("RecentChanges"), array('format' => 'rss'))?>" />
  48
  49 <?php /**
  50        * Add some user-specific links.
  51        */ ?>
  52 <?php if (!$user->isSignedIn()) {
  53       /* For users not signed in */ ?>
  54 <?php } ?>
  55 <link rel="alternate" type="application/x-wiki" title="Edit this page!" href="<?php echo WikiURL($page,array('action'=>'edit')) ?>" />
  56 <?php if ($user->isadmin()) {
  57       /* Only for the Administrator */ ?>
  58 <?php } ?>
  59
  60 <?php if ($user->isSignedIn()) {
  61       /* For signed-in users */ ?>
  62 <?php /* User's calendar page
  63        */
  64       $UserCalPageTitle = $user->getId() . SUBPAGE_SEPARATOR ._("Calendar");
  65       $UserCalPageUrl = WikiURL($UserCalPageTitle);
  66       ?>
  67 <?php /* Today's calendar page for the user if it exists
  68        */
  69       $UserCalPageTodayTitle = $UserCalPageTitle . SUBPAGE_SEPARATOR . strftime("%Y-%m-%d", time()); //FIXME
  70       $dbi = $request->getDbh();
  71       if ($dbi->isWikiPage($UserCalPageTodayTitle)) {
  72           $UserCalPageTodayUrl = WikiURL($UserCalPageTodayTitle);
  73           ?>
  74 <?php } ?>
  75 <?php } //end of links for signed-in user ?>
  76
  77 <?php echo $WikiTheme->getCSS() ?>
  78 <?php
  79   // avoid redundant bookmark title for custom home page
  80   if ($page->getName() == WIKI_NAME && HOME_PAGE == WIKI_NAME)
  81       $pagetitle = "";
  82   else
  83       $pagetitle = " - ". AsString($TITLE);
  84 ?>
  85 <title><?php echo WIKI_NAME.$pagetitle ?></title>
  86 <?php if (ENABLE_OPEN_GRAPH) { ?>
  87 <meta property="og:title" content="<?php echo strip_tags($TITLE) ?>"/>
  88 <meta property="og:site_name" content="<?php echo WIKI_NAME ?>"/>
  89 <?php } ?>
  90 <?php
  91   require_once("lib/plugin/RateIt.php");
  92   $plugin = new WikiPlugin_RateIt;
  93   $plugin->head();
  94 ?>
  95 <?php echo $WikiTheme->getMoreHeaders() ?>
  96 </head>