Extension:DeletePagesForGood

User rights
You can configure the user rights in LocalSettings.php:

Defaults from DeletePagePermanently.php:

The extension introduces a new user rights deleteperm.

Namespaces
To configure this, add some lines to your LocalSettings.php:

Built-in namespaces are described on meta-wiki.