$wgHttpRequestDefaultOptions