From f9a77b3a0ffa4fcf240ff262c30b08e9bc6f3097 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Mon, 11 Jul 2011 08:17:26 +0000
Subject: [PATCH] Use getPageTitle() to set the page title instead of doing it
 manually

---
 includes/actions/InfoAction.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/includes/actions/InfoAction.php b/includes/actions/InfoAction.php
index 82b5211e69..b0b5f2594a 100644
--- a/includes/actions/InfoAction.php
+++ b/includes/actions/InfoAction.php
@@ -45,13 +45,15 @@ class InfoAction extends FormlessAction {
 		return false;
 	}
 
+	protected function getPageTitle() {
+		return wfMsg( 'pageinfo-title', $this->getTitle()->getSubjectPage()->getPrefixedText() );
+	}
+
 	public function onView() {
 		global $wgDisableCounters;
 
 		$title = $this->getTitle()->getSubjectPage();
 
-		$this->getOutput()->setPagetitle( wfMsg( 'pageinfo-title', $title->getPrefixedText() ) );
-
 		$pageInfo = self::pageCountInfo( $title );
 		$talkInfo = self::pageCountInfo( $title->getTalkPage() );
 
-- 
2.20.1