Merge "Remove dangling $wgDBmysql5 usage from DatabaseMysqli"