Extension:PureWikiDeletion

From mediawiki.org