Merge "rdbms: halt on some common broken $wgDBServers configurations"