From 2cf899d3ed8615cdb825d8babfd283bd44c331f1 Mon Sep 17 00:00:00 2001
From: un0x <gdevil@gmail.com>
Date: Sat, 2 Mar 2013 23:39:08 +0100
Subject: [PATCH] Added IE mobile for WP8

---
 etc/inc/util.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/inc/util.inc b/etc/inc/util.inc
index 2590f8ef11..a85e346ab8 100644
--- a/etc/inc/util.inc
+++ b/etc/inc/util.inc
@@ -1932,7 +1932,7 @@ function get_current_theme() {
 	 *  If this device is an apple ipod/iphone
 	 *  switch the theme to one that works with it.
 	 */
-	$lowres_ua = array("iPhone", "iPod", "iPad", "Android", "BlackBerry", "Opera Mini", "Opera Mobi", "PlayBook");
+	$lowres_ua = array("iPhone", "iPod", "iPad", "Android", "BlackBerry", "Opera Mini", "Opera Mobi", "PlayBook", "IEMobile");
 	foreach($lowres_ua as $useragent)
 		if(strstr($_SERVER['HTTP_USER_AGENT'], $useragent))
 			$theme = (empty($g['theme_lowres']) && (is_dir($g["www_path"].'/themes/'.$g['theme_lowres']))) ? "pfsense" : $g['theme_lowres'];