Extension:DeletePagePermanently

What can this extension do?
The extension DeletePagePermanently adds a new tab that allows you to delete a page permanently from the database. I advise you to test carefully the extension and backup your database as the extension is in beta status.

Download instructions
Please cut and paste the code found below and place it in. Note: $IP stands for the root directory of your MediaWiki installation, the same directory that holds LocalSettings.php.

Installation
The extension was designed for MediaWiki 1.13 but it should be compatible with other MediaWiki version as long as the database layout is the same as MediaWiki 13.0 for the tables page_restrictions, revision, text, revision, page and recentchanges. However the extension seems to be compatible with MediaWiki 11.0+ or 1.12+ because of the use of wfLoadExtensionMessages which seems to be introduced in 1.11 or even only 1.12alpha.

To install this extension, add the following to LocalSettings.php:

User rights
The extension introduces a new user rights deleteperm.

Defaults from DeletePagePermanently.php: