]> CyberLeo.Net >> Repos - SourceForge/phpwiki.git/blob - themes/Crao/templates/head.tmpl
Make highlight.js work for all themes
[SourceForge/phpwiki.git] / themes / Crao / templates / head.tmpl
1 <head>
2 <meta http-equiv="Content-Type" content="text/html; 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 
18 _("HowToUseWiki")?>" href="<?php echo WikiURL(
19 _("HowToUseWiki"))?>" />
20 <link rel="copyright" title="<?php echo COPYRIGHTPAGE_TITLE?>" href="<?php echo COPYRIGHTPAGE_URL?>" />
21 <link rel="author" title="<?php echo AUTHORPAGE_TITLE?>" href="<?php echo AUTHORPAGE_URL?>" />
22 <link rel="search" title="<?php echo 
23 _("FindPage")?>" href="<?php echo WikiURL(
24 _("FindPage"))?>" />
25 <?php /**
26        * Provide alternate variations of the page content:
27        * 'viewsource' and 'browse'.
28        * Translated pages could go here too.
29        */
30       if (!empty($revision)) {
31           $args = $request->getargs();
32           $action = $args['action'];
33           if (!($action == "viewsource")) {
34             $alternatelinkTitle = fmt("%s: %s", _("View Source"), $page->getName());
35             $alternatelinkUrl = WikiURL($revision, array('action' => 'viewsource'));
36           }
37           if (!($action == "browse")) {
38             $alternatelinkTitle = $page->getName();
39             $alternatelinkUrl = WikiURL($revision, array('action' => 'browse'));
40           } ?>
41 <link rel="alternate" title="<?php echo $alternatelinkTitle ?>" href="<?php echo $alternatelinkUrl ?>" />
42 <?php }
43       /**
44        * Link tag for RSS auto-discovery.  See
45        * http://diveintomark.org/archives/2002/05/30.html#rss_autodiscovery
46        * http://www.oreillynet.com/cs/weblog/view/wlg/1475
47        */
48 ?>
49 <link rel="alternate" type="application/rss+xml" title="RSS" href="<?php echo WikiURL(
50 _("RecentChanges"), array('format' => 'rss'))?>" />
51 <?php /**
52        * Add some user-specific links.
53        */ ?>
54 <?php if (!$user->isSignedIn()) {
55       /* For users not signed in */ ?>
56 <?php } ?>
57 <link rel="alternate" type="application/x-wiki" title="Edit this page!" href="<?php echo WikiURL($page,array('action'=>'edit')) ?>" />
58 <?php if ($user->isadmin()) {
59       /* Only for the Administrator */ ?>
60 <?php } ?>
61 <?php if ($user->isSignedIn()) {
62       /* For signed-in users */ ?>
63 <?php /* User's calendar page
64        */
65       $UserCalPageTitle = $user->getId() . SUBPAGE_SEPARATOR ._("Calendar");
66       $UserCalPageUrl = WikiURL($UserCalPageTitle);
67       ?>
68 <?php /* Today's calendar page for the user if it exists
69        */
70       $UserCalPageTodayTitle = $UserCalPageTitle . SUBPAGE_SEPARATOR . strftime("%Y-%m-%d", time()); //FIXME
71       $dbi = $request->getDbh();
72       if ($dbi->isWikiPage($UserCalPageTodayTitle)) {
73           $UserCalPageTodayUrl = WikiURL($UserCalPageTodayTitle);
74           ?>
75 <?php } ?>
76 <?php } //end of links for signed-in user ?>
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 echo $WikiTheme->getMoreHeaders() ?>
91 </head>