From 1b86b6bace5dfaeb62b762d96a6d1e91f5dc5d31 Mon Sep 17 00:00:00 2001
From: Huji <huji@users.mediawiki.org>
Date: Mon, 1 Sep 2008 17:25:05 +0000
Subject: [PATCH] Setting the special page group

---
 SpecialNuke.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/SpecialNuke.php b/SpecialNuke.php
index e83ef6ee..7e79ccb5 100644
--- a/SpecialNuke.php
+++ b/SpecialNuke.php
@@ -23,3 +23,4 @@ $wgAvailableRights[] = 'nuke';
 
 $wgAutoloadClasses['SpecialNuke'] = $dir . 'SpecialNuke_body.php';
 $wgSpecialPages['Nuke'] = 'SpecialNuke';
+$wgSpecialPageGroups['Nuke'] = 'pagetools';