From c7cab3a3bde627d52d94b4d99dd7372d85759c53 Mon Sep 17 00:00:00 2001 From: Evan Winslow Date: Fri, 16 Jul 2010 23:49:54 +0000 Subject: HTML5 plugin no longer uses custom page_elements/head view --- views/default/page_elements/header.php | 76 +++++++++++++++++++++++++++++++--- 1 file changed, 71 insertions(+), 5 deletions(-) (limited to 'views') diff --git a/views/default/page_elements/header.php b/views/default/page_elements/header.php index 13e2f6e01..a69f79cba 100644 --- a/views/default/page_elements/header.php +++ b/views/default/page_elements/header.php @@ -1,21 +1,87 @@ sitename; +} else if (empty($vars['config']->sitename)) { + $title = $vars['title']; +} else { + $title = $vars['config']->sitename . ": " . $vars['title']; +} + +global $autofeed; +if (isset($autofeed) && $autofeed == true) { + $url = $url2 = full_url(); + if (substr_count($url,'?')) { + $url .= "&view=rss"; + } else { + $url .= "?view=rss"; + } + if (substr_count($url2,'?')) { + $url2 .= "&view=odd"; + } else { + $url2 .= "?view=opendd"; + } + $feedref = << + + +END; +} else { + $feedref = ""; +} + // we won't trust server configuration but specify utf-8 header('Content-type: text/html; charset=utf-8'); +$version = get_version(); +$release = get_version(true); ?> - - - \ No newline at end of file + + + + + <?php echo $title; ?> + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3