349c349
< 	global $wgJsMimeType, $wgScriptPath,  $wgRequest, $wgProofreadPageVersion, $wgProofreadPageMaxWidth, $wgProofreadPageAllowIPs;
---
> 	global $wgJsMimeType, $wgScriptPath,  $wgRequest, $wgProofreadPageVersion, $wgProofreadPageMaxWidth;
404d403
< 	$jsVars = array_merge($jsVars, array('proofreadPageAllowIps' => ($wgProofreadPageAllowIPs?1:0)));
914c913
< 	global $wgOut, $wgUser, $wgProofreadPageAllowIPs;
---
> 	global $wgOut, $wgUser;
959c958
< 		if( ($old_q != $q) && $wgUser->isAnon() && (!$wgProofreadPageAllowIPs) ) {
---
> 		if( ($old_q != $q) && $wgUser->isAnon() ) {
963c962
< 		if ( ( ($old_username != $username) || ($old_q != $q) ) && ($wgUser->getName() != $username) && (!$wgProofreadPageAllowIPs) ) {
---
> 		if ( ( ($old_username != $username) || ($old_q != $q) ) && ($wgUser->getName() != $username) ) {