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. |