From 6d7c12ca60dbcd5dc5b481070a3bed4fab601007 Mon Sep 17 00:00:00 2001
From: Paulo Gustavo Veiga <pveiga@wisemapping.com>
Date: Sat, 21 Jul 2012 09:46:21 -0300
Subject: [PATCH] Workaround for Explorer console support

---
 core-js/src/main/javascript/Functions.js | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/core-js/src/main/javascript/Functions.js b/core-js/src/main/javascript/Functions.js
index f9851fff..9bf8ce96 100644
--- a/core-js/src/main/javascript/Functions.js
+++ b/core-js/src/main/javascript/Functions.js
@@ -98,4 +98,13 @@ function stackTrace() {
             return real_parseFromString.apply(this, arguments);
         }
     };
-}(DOMParser));
\ No newline at end of file
+}(DOMParser));
+
+// Support for Windows ...
+if(!window.console){
+    console = {
+        log: function(e){
+
+        }
+    };
+}
\ No newline at end of file