856c856
< 	if(!wgUserName && (proofreadPageAllowIps!=1)) f.style.cssText = 'display:none';
---
> 	if(!wgUserName) f.style.cssText = 'display:none';