diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2019-08-02 16:42:49 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-08-02 16:42:49 +0200 |
commit | f9f4a68368406a2ba2bd9fab0494261090183e8e (patch) | |
tree | 42820d2991f5c2a8b8e37db90e614c5ee6d2f1a7 /TSRM | |
parent | 85e8ccd55e37028be6260c142c27689977564c9a (diff) | |
download | php-git-f9f4a68368406a2ba2bd9fab0494261090183e8e.tar.gz |
Fix #78179: MariaDB server version incorrectly detected
As of MariaDB 10.0.2, the server reports a fake version number as work-
around for replication issues[1]. We apply the same "fix" as in the
MariaDB client to cater to this.
[1] <https://github.com/MariaDB/server/commit/c50ee6c23dbeb090963580754bec2f0a96ac0557#diff-5b45fa673c88c06a9651c7906364f592>
Diffstat (limited to 'TSRM')
0 files changed, 0 insertions, 0 deletions