Merge "Fix broken $wgExternalServers example setting"