From 08aa4418c30cfc18ccc69a0f0f9cb9e17be6c196 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Mon, 12 Aug 2013 09:28:15 +0200 Subject: Update to MediaWiki 1.21.1 --- includes/specials/SpecialMIMEsearch.php | 19 +++++++++++++++---- 1 file changed, 15 insertions(+), 4 deletions(-) (limited to 'includes/specials/SpecialMIMEsearch.php') diff --git a/includes/specials/SpecialMIMEsearch.php b/includes/specials/SpecialMIMEsearch.php index 104c653f..c5a109d4 100644 --- a/includes/specials/SpecialMIMEsearch.php +++ b/includes/specials/SpecialMIMEsearch.php @@ -34,9 +34,17 @@ class MIMEsearchPage extends QueryPage { parent::__construct( $name ); } - function isExpensive() { return true; } - function isSyndicated() { return false; } - function isCacheable() { return false; } + function isExpensive() { + return true; + } + + function isSyndicated() { + return false; + } + + function isCacheable() { + return false; + } function linkParameters() { return array( 'mime' => "{$this->major}/{$this->minor}" ); @@ -84,7 +92,6 @@ class MIMEsearchPage extends QueryPage { parent::execute( $par ); } - function formatResult( $skin, $result ) { global $wgContLang; @@ -126,4 +133,8 @@ class MIMEsearchPage extends QueryPage { ); return in_array( $type, $types ); } + + protected function getGroupName() { + return 'media'; + } } -- cgit v1.2.3-54-g00ecf