GitHub mirror for the MediaWiki extension DeleteUserPages. Our actual code is hosted with Gerrit. Please see https://www.mediawiki.org/wiki/Developer_account if you wish to contribute - View it on GitHub