|
From: <var...@us...> - 2021-12-15 09:53:46
|
Revision: 10780
http://sourceforge.net/p/phpwiki/code/10780
Author: vargenau
Date: 2021-12-15 09:53:44 +0000 (Wed, 15 Dec 2021)
Log Message:
-----------
Remove themes/Crao/templates/head.tmpl, identical with themes/default/templates/head.tmpl
Removed Paths:
-------------
trunk/themes/Crao/templates/head.tmpl
Deleted: trunk/themes/Crao/templates/head.tmpl
===================================================================
--- trunk/themes/Crao/templates/head.tmpl 2021-12-15 09:52:44 UTC (rev 10779)
+++ trunk/themes/Crao/templates/head.tmpl 2021-12-15 09:53:44 UTC (rev 10780)
@@ -1,91 +0,0 @@
-<head>
-<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
-<?php $ROBOTS_CONTENT = isset($ROBOTS_META) ? $ROBOTS_META : "noindex,nofollow"; ?>
-<meta name="robots" content="<?php echo $ROBOTS_CONTENT ?>" />
-<?php if (!empty($PAGE_DESCRIPTION)) { ?>
-<meta name="description" content="<?php echo $PAGE_DESCRIPTION?>" />
-<?php } ?>
-<?php if (!empty($PAGE_KEYWORDS)) { ?>
-<meta name="keywords" content="<?php echo $PAGE_KEYWORDS?>" />
-<?php } ?>
-<meta name="generator" content="PhpWiki <?php echo PHPWIKI_VERSION?>" />
-<base href="<?php echo PHPWIKI_BASE_URL?>" />
-<link rel="shortcut icon" href="<?php echo $WikiTheme->getImageURL('favicon.ico')?>" />
-<link rel="stylesheet" type="text/css" href="<?php echo DATA_PATH ?>/themes/default/highlight.js/styles/github.css"/>
-<?php /* The next few lines are wrapped in an odd manner to allow gettext string extraction: cd locale;make */ ?>
-<link rel="home" title="<?php echo HOME_PAGE?>" href="<?php echo WikiURL(HOME_PAGE)?>" />
-<link rel="help" title="<?php echo
-_("Help")."/"._("HowToUseWiki")?>" href="<?php echo WikiURL(
-_("Help")."/"._("HowToUseWiki"))?>" />
-<link rel="license" title="<?php echo COPYRIGHTPAGE_TITLE?>" href="<?php echo COPYRIGHTPAGE_URL?>" />
-<link rel="author" title="<?php echo AUTHORPAGE_TITLE?>" href="<?php echo AUTHORPAGE_URL?>" />
-<link rel="search" title="<?php echo
-_("FindPage")?>" href="<?php echo WikiURL(
-_("FindPage"))?>" />
-<?php /**
- * Provide alternate variations of the page content:
- * 'viewsource' and 'browse'.
- * Translated pages could go here too.
- */
- if (!empty($revision)) {
- $args = $request->getargs();
- $action = $args['action'];
- if (!($action == "viewsource")) {
- $alternatelinkTitle = fmt("%s: %s", _("View Source"), $page->getName());
- $alternatelinkUrl = WikiURL($revision, array('action' => 'viewsource'));
- }
- if (!($action == "browse")) {
- $alternatelinkTitle = $page->getName();
- $alternatelinkUrl = WikiURL($revision, array('action' => 'browse'));
- } ?>
-<link rel="alternate" title="<?php echo $alternatelinkTitle ?>" href="<?php echo $alternatelinkUrl ?>" />
-<?php }
- /**
- * Link tag for RSS auto-discovery. See
- * http://diveintomark.org/archives/2002/05/30.html#rss_autodiscovery
- * http://www.oreillynet.com/cs/weblog/view/wlg/1475
- */
-?>
-<link rel="alternate" type="application/rss+xml" title="RSS" href="<?php echo WikiURL(
-_("RecentChanges"), array('format' => 'rss'))?>" />
-<?php /**
- * Add some user-specific links.
- */ ?>
-<?php if (!$user->isSignedIn()) {
- /* For users not signed in */ ?>
-<?php } ?>
-<link rel="alternate" type="application/x-wiki" title="Edit this page!" href="<?php echo WikiURL($page,array('action'=>'edit')) ?>" />
-<?php if ($user->isadmin()) {
- /* Only for the Administrator */ ?>
-<?php } ?>
-<?php if ($user->isSignedIn()) {
- /* For signed-in users */ ?>
-<?php /* User's calendar page
- */
- $UserCalPageTitle = $user->getId() . '/' ._("Calendar");
- $UserCalPageUrl = WikiURL($UserCalPageTitle);
- ?>
-<?php /* Today's calendar page for the user if it exists
- */
- $UserCalPageTodayTitle = $UserCalPageTitle . '/' . date("Y-m-d");
- $dbi = $request->getDbh();
- if ($dbi->isWikiPage($UserCalPageTodayTitle)) {
- $UserCalPageTodayUrl = WikiURL($UserCalPageTodayTitle);
- ?>
-<?php } ?>
-<?php } //end of links for signed-in user ?>
-<?php echo $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><?php echo WIKI_NAME.$pagetitle?></title>
-<?php if (ENABLE_OPEN_GRAPH) { ?>
-<meta property="og:title" content="<?php echo strip_tags($TITLE) ?>"/>
-<meta property="og:site_name" content="<?php echo WIKI_NAME ?>"/>
-<?php } ?>
-<?php echo $WikiTheme->getMoreHeaders() ?>
-</head>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|