From 92f689df7ffb9d53c4197424592fcabbc8e66be7 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Thu, 22 Aug 2013 17:12:08 +0100
Subject: [PATCH] Remove obsolete switch_menu configuration item and
 corresponding div.

---
 examples/htdocs/index-wolfram.html |    2 --
 1 file changed, 2 deletions(-)

diff --git a/examples/htdocs/index-wolfram.html b/examples/htdocs/index-wolfram.html
index a0fd5d7..5e7bd2b 100644
--- a/examples/htdocs/index-wolfram.html
+++ b/examples/htdocs/index-wolfram.html
@@ -5,7 +5,6 @@
     <link rel="stylesheet" type="text/css" href="mkwsStyle.css" />
     <script type="text/javascript">
       var mkws_config = {
-	  switch_menu: false,
 	  service_proxy_url : "/service-proxy/",
 	  service_proxy_auth : "/service-proxy-auth/",
 	  language_Arabic: {
@@ -51,7 +50,6 @@
     <table width="100%" border="0">
       <tr>
         <td>
-          <div id="mkwsSwitch"></div>
           <div id="mkwsLang"></div>
           <div id="mkwsSearch"></div>
         </td>
-- 
1.7.10.4