From 0158312d4bc3de9c15064a12a73b4bf57580e45e Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Fri, 16 Oct 2015 16:02:01 +0200
Subject: [PATCH] Move Special:PageLanguage to the pagetools group on
 Special:SpecialPages

Acting on pages, so that group is better than the default of "other"

Change-Id: I50c993d69048eeee913fbab513711018999aafe9
---
 includes/specials/SpecialPageLanguage.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/includes/specials/SpecialPageLanguage.php b/includes/specials/SpecialPageLanguage.php
index 6756f27401..177c19bc4d 100644
--- a/includes/specials/SpecialPageLanguage.php
+++ b/includes/specials/SpecialPageLanguage.php
@@ -197,4 +197,8 @@ class SpecialPageLanguage extends FormSpecialPage {
 		LogEventsList::showLogExtract( $out2, 'pagelang', $title );
 		return $out1 . $out2;
 	}
+
+	protected function getGroupName() {
+		return 'pagetools';
+	}
 }
-- 
2.20.1