$wgExIndexOnHTTP