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