Possibilité de surcharger proprement le logo du menu

.gitattributes

@@ -213,6 +213,7 @@ bureau/admin/images/help.png -text
 bureau/admin/images/home.png -text
 bureau/admin/images/ip.png -text
 bureau/admin/images/lang.png -text
+bureau/admin/images/logo3.png -text
 bureau/admin/images/logs.png -text
 bureau/admin/images/mail.png -text
 bureau/admin/images/menu_moins.png -text
@@ -281,7 +282,6 @@ bureau/admin/js/prototype.js -text
 bureau/admin/login.php -text
 bureau/admin/logo.png -text
 bureau/admin/logo2.png -text
-bureau/admin/logo3.png -text
 bureau/admin/logs_download.php -text
 bureau/admin/logs_list.php -text
 bureau/admin/mail_add.php -text

bureau/admin/menu.php

@@ -29,8 +29,14 @@
 */
 require_once("../class/config.php");
 
+$logo = variable_get('menu_logo', 0 ,'You can specify a logo for your AlternC, example /images/my_logo.png . Set 0 or empty to reset it. ');
+
+if ( empty($logo) ||  ! $logo ) {
+  $logo = 'images/logo3.png';
+}
+
 ?>
-<img src="logo3.png" class="menutoplogo" border="0" alt="AlternC" alt="<?php __("AlternC"); ?>"/>
+<img src="<?php echo $logo; ?>" class="menutoplogo" border="0" alt="AlternC" alt="<?php __("AlternC"); ?>"/>
 <p class="currentuser"><?php echo sprintf(_("Welcome %s"),$mem->user["login"]); ?></p>
 
 <?php