From 2274a3b13dbdad3b2d424a653f69492df68bf3eb Mon Sep 17 00:00:00 2001 From: Steffen Lange Date: Fri, 21 Jul 2023 18:56:59 +0200 Subject: [PATCH] Removed MariaDB 10.3 --- modules/MariaDB103.php | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 modules/MariaDB103.php diff --git a/modules/MariaDB103.php b/modules/MariaDB103.php deleted file mode 100644 index 46e9d6b..0000000 --- a/modules/MariaDB103.php +++ /dev/null @@ -1,15 +0,0 @@ -patch->setBranch('10.3'); - } - function check() : bool { - if ($this->fetch('https://downloads.mariadb.com/MariaDB/mariadb-10.3/source/')) - return $this->parse('/mariadb-([\d\.]+)\.tar\.gz/'); - return false; - } -} - -?>