From 770c77959600efada33f279855989ab98dd152b0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=B1=AA=E5=BF=83=E7=A6=BE?= Date: Fri, 31 Jul 2020 23:06:21 +0800 Subject: [PATCH] Improve MediaWiki Detection --- src/apps.json | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/apps.json b/src/apps.json index ea49872d0..f20111dd7 100644 --- a/src/apps.json +++ b/src/apps.json @@ -7210,7 +7210,9 @@ "icon": "MediaWiki.png", "implies": "PHP", "js": { - "mw.util.toggleToc": "" + "mw": "", + "wgTitle": "", + "wgVersion": "^(.+)$\\;version:\\1" }, "meta": { "generator": "^MediaWiki ?(.+)$\\;version:\\1" @@ -15474,4 +15476,4 @@ "priority": 6 } } -} \ No newline at end of file +}