MariaDB 10.6: use REST API
This commit is contained in:
parent
405fe950b8
commit
3d925c1cd1
1 changed files with 3 additions and 3 deletions
|
|
@ -2,12 +2,12 @@
|
||||||
|
|
||||||
class MariaDB106 extends PatchBase {
|
class MariaDB106 extends PatchBase {
|
||||||
function __construct() {
|
function __construct() {
|
||||||
parent::__construct('MariaDB Foundation', 'MariaDB', 'https://downloads.mariadb.org/mariadb/10.6/');
|
parent::__construct('MariaDB Foundation', 'MariaDB', 'https://mariadb.org/download/');
|
||||||
$this->patch->setBranch('10.6');
|
$this->patch->setBranch('10.6');
|
||||||
}
|
}
|
||||||
function check() : bool {
|
function check() : bool {
|
||||||
if ($this->fetch('https://downloads.mariadb.org/mariadb/10.6/'))
|
if ($this->fetch_json('https://downloads.mariadb.org/rest-api/mariadb/10.6/'))
|
||||||
return $this->parse('/MariaDB ([\d\.]+) Stable/');
|
return $this->parse_json('release_id');
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue