From 9b68245d674ef0446f0dc3a20b94ffb42f72f5a3 Mon Sep 17 00:00:00 2001
From: luis daniel lucio quiroz <dlucio@okay.com.mx>
Date: Sun, 3 Aug 2014 23:09:55 +0000
Subject: [PATCH] You can now change favicon in enhanced theme with default
 settings

---
 themes/enhanced/template.php | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/themes/enhanced/template.php b/themes/enhanced/template.php
index 9cd5987b7a..739c80d3c6 100644
--- a/themes/enhanced/template.php
+++ b/themes/enhanced/template.php
@@ -33,8 +33,14 @@
 	if (strlen(PROJECT_PATH) > 0) {
 		$php_self_dir = substr($php_self_dir, strlen(PROJECT_PATH), strlen($php_self_dir));
 	}
+	if (isset($_SESSION['theme']['favicon']['text'])){
+		$favicon = $_SESSION['theme']['favicon']['text'];
+	}
+	else {
+		$favicon = '<!--{project_path}-->/themes/enhanced/favicon.ico';
+        }
 ?>
-<link rel="icon" href="<!--{project_path}-->/themes/enhanced/favicon.ico">
+<link rel="icon" href="<?php echo $favicon; ?>">
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <style type='text/css'>