index.html

   1 <!DOCTYPE html>
   2 <html>
   3         <head>
   4                 <meta charset="UTF-8"/>
   5
   6                 <script type="text/javascript">
   7                         function load_bookmarklet(id, source) {
   8                                 var request = new XMLHttpRequest();
   9                                 request.overrideMimeType('text/plain');
  10                                 request.onload = function () {
  11                                         var element = document.getElementById(id);
  12                                         var href = 'javascript:(function () {\n' + this.responseText + '\n run();})();';
  13                                         element.setAttribute('href', href);
  14                                 };
  15                                 request.open('get', source, true);
  16                                 request.send();
  17                         }
  18                 </script>
  19         </head>
  20         <body onload="load_bookmarklet('nmbug', 'nmbug.js');">
  21                 <p>
  22                         This is the <a id="nmbug">nmbug</a> bookmarklet.
  23                 </p>
  24         </body>
  25 </html>