From ffc7538116a62eb8504cc24e712033a3a1545397 Mon Sep 17 00:00:00 2001
From: jvoisin <jvoisin@users.noreply.github.com>
Date: Fri, 9 Feb 2018 02:42:13 +0100
Subject: [PATCH] Simplify mediawiki version detection (#2071)

Mediawiki versions can contain a lot of different letters, like
[`1.31.0-wmf.17`](view-source:https://en.wikipedia.org/wiki/Token_bucket),
so there is no need to check for numbers specifically.
---
 src/apps.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/apps.json b/src/apps.json
index fdd5bf26b..1736f26d4 100644
--- a/src/apps.json
+++ b/src/apps.json
@@ -5745,7 +5745,7 @@
       "icon": "MediaWiki.png",
       "implies": "PHP",
       "meta": {
-        "generator": "^MediaWiki ?([\\d.]+)$\\;version:\\1"
+        "generator": "^MediaWiki ?(.+)$\\;version:\\1"
       },
       "website": "http://www.mediawiki.org"
     },