Move bootstrap & github-buttons to web_modules

- removing legacy scripts from plugins page

Author: vladimyr

micro_files/plugin-search.js

@@ -1,5 +1,5 @@
-'use strict';
-
+import '/web_modules/bootstrap.js';
+import '/web_modules/github-buttons.js';
 import '/web_modules/whatwg-fetch.js';
 import html from '/web_modules/nanohtml/lib/browser.js';
 import pMap from '/web_modules/p-map.js';

package.json

@@ -24,6 +24,8 @@
     }
   },
   "dependencies": {
+    "bootstrap": "^3.4.1",
+    "github-buttons": "^2.7.0",
     "nanohtml": "^1.9.0",
     "p-map": "^3.0.0",
     "semver": "^7.1.3",
@@ -46,6 +48,10 @@
     "webDependencies": [
       "nanohtml/lib/browser.js",
       "p-map",
+      "github-buttons",
+      "bootstrap",
+      "bootstrap/dist/css/**",
+      "bootstrap/dist/fonts/**",
       "semver/functions/rcompare.js",
       "strip-json-comments",
       "whatwg-fetch"

plugins.html

@@ -8,16 +8,10 @@
         <meta name="description" content="">
         <meta name="author" content="">
         <link rel="icon" href="./micro_files/icon.png">
-        <script async defer src="https://buttons.github.io/buttons.js"></script>
-        <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css">
-        <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
-        <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js"></script>
 
         <title>Micro - Plugins</title>
 
-        <!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
-        <link href="micro_files/ie10-viewport-bug-workaround.css" rel="stylesheet">
-
+        <link rel="stylesheet" href="/web_modules/bootstrap/dist/css/bootstrap.min.css">
         <!-- Custom styles for this template -->
         <link href="micro_files/micro.css" rel="stylesheet">
 
@@ -84,8 +78,7 @@ <h2>Plugins</h2>
             </footer>
         </div> <!-- /container -->
 
-        <!-- IE10 viewport hack for Surface/desktop Windows 8 bug -->
-        <script src="micro_files/ie10-viewport-bug-workaround.js"></script>
+        <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
         <script type="module" src="/micro_files/plugin-search.js"></script>
         <script nomodule src="/web_modules/plugin-search.bundle.js"></script>
     </body>