Merge "installer: Don't allow setting $wgDBmysql5" into REL1_31