Favicon devient configurable

bureau/admin/head.php

@@ -37,14 +37,17 @@ if (!isset($charset) || ! $charset) $charset="UTF-8";
 if (file_exists("styles/style-custom.css") ) {
   echo '<link rel="stylesheet" href="styles/style-custom.css" type="text/css" />';
 }
+
+$favicon = variable_get('favicon', 'favicon.ico' ,'You can specify a favicon, for example /images/my_logo.ico', array(array('desc'=>'URL','type'=>'string')));
+
 ?>
 
 <link rel="stylesheet" href="styles/style-empty.css" type="text/css" title="Default - Desktop TNG"/>
 <link rel="alternate stylesheet" href="styles/style-bluedesktop10.css" type="text/css" title="Blue Desktop 1.0" />
 <link rel="alternate stylesheet" href="styles/style-hw.css" type="text/css" title="Halloween" />
 
-<link rel="Shortcut Icon" href="favicon.ico" type="image/ico" />
-<link rel="icon" href="favicon.ico" type="image/ico" />
+<link rel="Shortcut Icon" href="<?php echo $favicon;?>" type="image/ico" />
+<link rel="icon" href="<?php echo $favicon;?>" type="image/ico" />
 
 <script src="js/alternc.js" type="text/javascript" ></script>
 <script src="js/jquery.min_embedded.js" type="text/javascript"></script>