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.onload = function () {
  10                                         var element = document.getElementById(id);
  11                                         var href = 'javascript:(function () {\n' + this.responseText + '\n run();})();';
  12                                         element.setAttribute('href', href);
  13                                 };
  14                                 request.open('get', source, true);
  15                                 request.send();
  16                         }
  17                 </script>
  18         </head>
  19         <body onload="load_bookmarklet('nmbug', 'nmbug.js');">
  20                 <p>
  21                         This is the <a id="nmbug">nmbug</a> bookmarklet.
  22                 </p>
  23         </body>
  24 </html>