<?php
-if ( ! defined( 'MEDIAWIKI' ) )
- die();
/**
* Functions for dealing with proxies
* @package MediaWiki
function wfProxyCheck() {
global $wgBlockOpenProxies, $wgProxyPorts, $wgProxyScriptPath;
global $wgUseMemCached, $wgMemc, $wgDBname, $wgProxyMemcExpiry;
+ global $wgProxyKey;
if ( !$wgBlockOpenProxies ) {
return;