Extension:RudeProxyBlock

What can this extension do?
I built this extension on a request from Jack Phoenix when he wanted to be able to block all the open proxies that Wikipedia had blocked. I used a bot to grab all the pages in that category and turned it into a list. But unfortunately the block function in userlib.py was always returning a BlockError, so to allow Jack to block the users I instead built this quick extension which disallows access to all users listed in MediaWiki:Openproxylist.

Usage
To use the extension create a list of proxies at MediaWiki:Openproxylist on your wiki (One proxy per line, no extra text on those lines). Any IP listed there will not be allowed to edit or view pages and will be redirected to Special:RudeProxyBlock and will have a message displayed to them (When viewed from a normal IP the page is just a link back to the Main Page). You can customize the title using MediaWiki:Rudeproxyblock and the message using MediaWiki:Rudeproxyblockmsg.

Installation
Copy the code below into extensions/RudeProxyBlock.php and add the change to LocalSettings.php.