Rename $wgServerSetting to $serverSetting

It's the setting for $wgServer, but let's not confuse humans
and tools by using the convention for globals.

Change-Id: I38c82d363f588648f11d0a0ab3e264e25553493e