From bab8dd9033fc48e84b5b5274c7dfdcbf14f635f3 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Mon, 11 Jul 2011 08:27:07 +0000
Subject: [PATCH] Override UsersPager::getTitle() in ActiveUsersPager

---
 includes/specials/SpecialActiveusers.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/includes/specials/SpecialActiveusers.php b/includes/specials/SpecialActiveusers.php
index caba7f3a43..e4bf42d3cf 100644
--- a/includes/specials/SpecialActiveusers.php
+++ b/includes/specials/SpecialActiveusers.php
@@ -59,6 +59,10 @@ class ActiveUsersPager extends UsersPager {
 		parent::__construct();
 	}
 
+	function getTitle() {
+		return SpecialPage::getTitleFor( 'Activeusers' );
+	}
+
 	public function setupOptions() {
 		global $wgRequest;
 
-- 
2.20.1