DatabaseMysqlBase: Use VERSION() rather than server_info
authorKevin Israel <pleasestand@live.com>
Sun, 31 Aug 2014 10:43:50 +0000 (06:43 -0400)
committerKevin Israel <pleasestand@live.com>
Sat, 20 Sep 2014 10:16:09 +0000 (06:16 -0400)
commitb824271351da407c4d3520afae27b925909e600a
treef532d62cd87e87936739476fd722c6dc003617e8
parent38d651fab24bfed7e6de8eb09c9354be49e8a319
DatabaseMysqlBase: Use VERSION() rather than server_info

I noticed enwiki's Special:Version page was reporting the version
of MariaDB 10 as "5.5.5-10.0.11-MariaDB-log" rather than just
"10.0.11-MariaDB-log". This change should fix that.

Change-Id: I6bf7e27e88014f70594b33d089636b09b6c97527
includes/db/DatabaseMysql.php
includes/db/DatabaseMysqlBase.php
includes/db/DatabaseMysqli.php