Extension:DeletePagePermanently

From mediawiki.org