Merge pull request #6423 from nurbek91/miniserv

Add MiniServ / server, Webmin / miscellaneous

src/technologies/m.json

@@ -38,7 +38,6 @@
     "headers": {
       "X-Powered-By": "MATORI.NET"
     },
-    "icon": "default.svg",
     "implies": "OpenResty",
     "website": "http://matori.net"
   },
@@ -1256,7 +1255,6 @@
       59
     ],
     "description": "metisMenu is a collapsible jQuery menu plugin.",
-    "icon": "default.svg",
     "implies": "jQuery",
     "js": {
       "metisMenu": "",
@@ -1626,6 +1624,17 @@
     ],
     "website": "http://minero.cc/"
   },
+  "MiniServ": {
+    "cats": [
+      22
+    ],
+    "implies": "Webmin",
+    "headers": {
+      "Server": "MiniServ/([\\d\\.]+)\\;version:\\1"
+    },
+    "oss": true,
+    "website": "https://github.com/webmin/webmin/blob/master/miniserv.pl"
+  },
   "Mint": {
     "cats": [
       10

src/technologies/w.json

@@ -645,6 +645,16 @@
     "scriptSrc": "cdn\\.webmetric\\.ir",
     "website": "https://webmetric.ir/"
   },
+  "Webmin": {
+    "cats": [
+      19
+    ],
+    "description": "Webmin is a free, open-source application for Linux server administration.",
+    "icon": "Webmin.png",
+    "implies": "Perl",
+    "oss": true,
+    "website": "https://www.webmin.com"
+  },
   "WebNode": {
     "cats": [
       1,