wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix double display of headings

Browse source
This commit is contained in:
Andrew Garrett 2009-04-24 11:10:04 +00:00
parent 238a208393
commit a9058edced
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Gadgets.php
View file

@ -125,9 +125,10 @@ function wfGadgetsGetPreferences( $user, &$preferences ) {
wfLoadExtensionMessages( 'Gadgets' );
$options = array_fill_keys( array_keys($gadgets), array() );
$options = array();
foreach( $gadgets as $section => $thisSection ) {
$section = wfMsgExt( "gadget-section-$section", 'parseinline' );
$options[$section] = array();
foreach( $thisSection as $gname => $code ) {
$options[$section][wfMsgExt( "gadget-$gname", 'parseinline' )] = $gname;
}