Merge pull request #3266 from wxh06/mediawiki

Improve MediaWiki Detection
4 years ago · e81623c86e
parent 5ba5056457 770c779596
commit e81623c86e
1 changed files with 3 additions and 1 deletions
--- a/src/apps.json
+++ b/src/apps.json
@ -7220,7 +7220,9 @@
      "icon": "MediaWiki.png",
      "implies": "PHP",
      "js": {
-        "mw.util.toggleToc": ""
+        "mw": "",
        "wgTitle": "",
        "wgVersion": "^(.+)$\\;version:\\1"
      },
      "meta": {
        "generator": "^MediaWiki ?(.+)$\\;version:\\1"