Jump to content

Extension:DeletePagePermanently

From mediawiki.org