From 0a770f070120165a69ea3a9ead3836e41c077de8 Mon Sep 17 00:00:00 2001
From: Wolfram Schneider <wosch@indexdata.dk>
Date: Wed, 22 Oct 2014 13:03:08 +0000
Subject: [PATCH] use mkws.log() instead console.log() [IE8]

---
 examples/htdocs/wolfram.html |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/htdocs/wolfram.html b/examples/htdocs/wolfram.html
index 83a67a6..34438c1 100644
--- a/examples/htdocs/wolfram.html
+++ b/examples/htdocs/wolfram.html
@@ -56,7 +56,7 @@
     <!-- <script type="text/javascript" src="http://code.jquery.com/jquery-1.7.2.js"></script> -->
     <script type="text/javascript">
       // check for the real jQuery / $ object
-      console.log("Reset jQuery and $ objection to null....");
+      mkws.log("Reset jQuery and $ objection to null....");
       $ = null;
       jQuery = null;
     </script>
-- 
1.7.10.4