Very small reduction of some images

[jirafeau_mojo42.git] / lib / template / header.php
diff --git a/lib/template/header.php b/lib/template/header.php

index 7b06ae7945d96b45de97d129a0ce990d6b2d4386..7e4b96d0ea5ed9cdf956e610d2c99f416739471d 100644 (file)
--- a/lib/template/header.php
+++ b/lib/template/header.php
@@ -1,22 +1,40 @@
  <?php
  header("Vary: Accept");
  <?php
  header("Vary: Accept");
-if(stristr($_SERVER['HTTP_ACCEPT'], 'application/xhtml+xml')) {
-  $content_type = 'application/xhtml+xml; charset=utf-8';
-}  else {
-  $content_type = 'text/html; charset=utf-8';
-}
+
+$content_type = 'text/html; charset=utf-8';
+
+if (stristr ($_SERVER['HTTP_ACCEPT'], 'application/xhtml+xml'))
+    $content_type = 'application/xhtml+xml; charset=utf-8';
  
  header('Content-Type: ' . $content_type);
  
  
  header('Content-Type: ' . $content_type);
  
+$protocol = (bool)is_ssl() ? 'https' : 'http';
+
+if ( !empty($cfg['web_root']) ) {
+    $cfg['web_root'] = preg_replace('#https?://#', $protocol . '://', $cfg['web_root'], 1);
+}
+
+/* Avoids irritating errors with the installer (no conf file is present then). */
+if (!isset ($cfg['web_root']))
+    $web_root = $protocol+'://' . $_SERVER['HTTP_HOST'] . '/';
+else
+    $web_root = $cfg['web_root'];
+
+if (!isset ($cfg['style']))
+    $style = 'default';
+else
+    $style = $cfg['style'];
+
+
  ?>
  <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
  <html xmlns="http://www.w3.org/1999/xhtml">
  <head>
  ?>
  <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
  <html xmlns="http://www.w3.org/1999/xhtml">
  <head>
-  <title><?php echo _('Jirafeau, your web file repository'); ?></title>
+  <title><?php echo t('Jirafeau, your web file repository'); ?></title>
    <meta http-equiv="Content-Type" content="<?php echo $content_type; ?>" />
    <meta http-equiv="Content-Type" content="<?php echo $content_type; ?>" />
-  <link href="<?php echo $cfg['web_root'] . 'media/' . $cfg['style'] . '/style.css.php'; ?>" rel="stylesheet" type="text/css" />
+  <link href="<?php echo $web_root . 'media/' . $style . '/style.css.php'; ?>" rel="stylesheet" type="text/css" />
  </head>
  <body>
  </head>
  <body>
-
+<script language="Javascript" src="lib/functions_v7.js"></script>
  <div id="content">
  <div id="content">
-<h1><a href="<?php echo $cfg['web_root']; ?>"><?php echo _('Jirafeau, your web file repository'); ?></a></h1>
+<h1><a href="<?php echo $web_root; ?>"><?php echo t('Jirafeau, your web file repository'); ?></a></h1>