From bad10422e63296358fc6a0bea41c50bbfb499b62 Mon Sep 17 00:00:00 2001
From: Christopher Schmidt <christopher.schmidt@posteo.de>
Date: Thu, 9 Jan 2020 20:57:59 +0100
Subject: [PATCH] Match phpMyAdmin versions

---
 src/apps.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/apps.json b/src/apps.json
index 87b034175..52e69fad7 100644
--- a/src/apps.json
+++ b/src/apps.json
@@ -13663,7 +13663,10 @@
       "cats": [
         3
       ],
-      "html": "(?: \\| phpMyAdmin ([\\d.]+)<\\/title>|PMA_sendHeaderLocation\\(|<link [^>]*href=\"[^\"]*phpmyadmin\\.css\\.php)\\;version:\\1",
+      "html": [
+        "<script[^>]*>[\\S\\s]*\\[CDATA[^<]*PMA_VERSION:\\\"([\\d.]+)\\;version:\\1",
+        "(?: \\| phpMyAdmin ([\\d.]+)<\\/title>|PMA_sendHeaderLocation\\(|<link [^>]*href=\"[^\"]*phpmyadmin\\.css\\.php)\\;version:\\1"
+      ],
       "icon": "phpMyAdmin.png",
       "implies": [
         "PHP",