Merge "Fix documentation of $wgProxyList"