From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- extensions/Gadgets/SpecialGadgets.php | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'extensions/Gadgets/SpecialGadgets.php') diff --git a/extensions/Gadgets/SpecialGadgets.php b/extensions/Gadgets/SpecialGadgets.php index f6c3d74c..3cbce480 100644 --- a/extensions/Gadgets/SpecialGadgets.php +++ b/extensions/Gadgets/SpecialGadgets.php @@ -106,7 +106,8 @@ class SpecialGadgets extends SpecialPage { $output->addHTML( Xml::openElement( 'ul' ) ); } - $lnk = '  ' . $this->msg( 'parentheses', $lang->pipeList( $links ) )->text(); + $lnk = '  ' . + $this->msg( 'parentheses' )->rawParams( $lang->pipeList( $links ) )->escaped(); $output->addHTML( Xml::openElement( 'li' ) . $ttext . $lnk . "
" . $this->msg( 'gadgets-uses' )->escaped() . @@ -201,4 +202,8 @@ class SpecialGadgets extends SpecialPage { . Html::closeElement( 'form' ) ); } + + protected function getGroupName() { + return 'wiki'; + } } -- cgit v1.2.2