wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-09-24 02:38:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use the long time existing pipeList :-)

Browse source
This commit is contained in:
Raimond Spekking 2009-03-11 07:49:56 +00:00
parent fe5141c412
commit 960c9d7463
1 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
AbuseFilter.class.php
View file

@ -103,8 +103,9 @@ class AbuseFilter {
'minor_edit' => 'minor-edit',
),
);
public static function addNavigationLinks( $out, $sk, $pageType ) {
global $wgLang;
$linkDefs = array(
'home' => 'Special:AbuseFilter',
'recentchanges' => 'Special:AbuseFilter/history',
@ -136,12 +137,12 @@ class AbuseFilter {
$links[] = $sk->link( $title, $msg );
}
}
$linkStr = '( '.implode( ' | ', $links ).' )';
$linkStr = '(' . $wgLang->pipeList( $links ) . ')';
$linkStr = wfMsgExt( 'abusefilter-topnav', 'parseinline' ) . " $linkStr";
$linkStr = Xml::tags( 'div', array( 'class' => 'mw-abusefilter-navigation' ), $linkStr );
$out->addHTML( $linkStr );
}