[php-src] Issue #7932: MariaDB version prefix `5.5.5-` is not stripped
| From: | cmb69 | Date: | Tue, 18 Jan 2022 12:25:23 +0000 |
| Subject: | [php-src] Issue #7932: MariaDB version prefix `5.5.5-` is not stripped | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-239096@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/7932
Comment Author: cmb69
````php
$mysql = new mysqli($host, $user, $password, $db);
$res = $mysql->query("select version()");
var_dump(
$mysql->server_info,
$res->fetch_array()[0],
$mysql->server_version,
mysqli_get_server_version($mysql),
);
````
outputs for me
````
string(21) "5.5.5-10.5.13-MariaDB"
string(15) "10.5.13-MariaDB"
int(100513)
int(100513)
````
This inconsistency is certainly a bug.