Merge remote branch 'origin/master' into wosch

[mkws-moved-to-github.git] / examples / htdocs / mike.html
diff --git a/examples/htdocs/mike.html b/examples/htdocs/mike.html

index 50e746d..3f87083 100644 (file)
--- a/examples/htdocs/mike.html
+++ b/examples/htdocs/mike.html
@@ -28,6 +28,7 @@
      <script type="text/javascript" src="src/mkws-widget-builder.js"></script>
      <script type="text/javascript" src="src/mkws-jquery.js"></script>
      <script type="text/javascript" src="mkws-widget-reference.js"></script>
+    <script type="text/javascript">$ = undefined;</script>
    </head>
  <!--
    <body>
@@ -35,6 +36,7 @@
    </body>
  -->
    <body>
+    <script type="text/javascript">$ = undefined;</script>
      <div class="mkwsSwitch"></div>
      <div class="mkwsLang"></div>
      <div class="mkwsSearch-Container-wide"><div class="mkwsSearch"></div></div>
@@ -43,5 +45,6 @@
      <div class="mkwsStat"></div>
      <div class="mkwsBuilder"></div>
      <div class="mkwsSearch-Container-narrow"></div>
+    <script type="text/javascript">$ = undefined;</script>
    </body>
  </html>