From f7db718d4a983a1572605d22ad379dbf95dcde73 Mon Sep 17 00:00:00 2001
From: "James D. Forrester" <jforrester@wikimedia.org>
Date: Tue, 28 Oct 2014 12:04:50 -0700
Subject: [PATCH] Add Special:CiteThisPage to the 'pagetools' group of
 Special:SpecialPages

Change-Id: I00edb18c0e3b4938b6f0fbb5758f77be9621952b
---
 CiteThisPage.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CiteThisPage.php b/CiteThisPage.php
index 4a3d67a1..e6393dab 100644
--- a/CiteThisPage.php
+++ b/CiteThisPage.php
@@ -30,6 +30,7 @@ $wgHooks['SkinTemplateBuildNavUrlsNav_urlsAfterPermalink'][] = 'efCiteThisPageNa
 $wgHooks['SkinTemplateToolboxEnd'][] = 'efSpecialCiteThisPageToolbox';
 
 $wgSpecialPages['CiteThisPage'] = 'SpecialCiteThisPage';
+$wgSpecialPageGroups['CiteThisPage'] = 'pagetools';
 $wgAutoloadClasses['SpecialCiteThisPage'] = __DIR__ . '/SpecialCiteThisPage.php';
 
 // Resources