wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-09-25 11:17:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

Stop showing the NavigationPopups options if it isn't available

Browse source 
This got committed by accident in I374805eed0bc9f262b29474093f0357c56b42c83

Change-Id: Ic2dba3bd3b488aea97d7f3be3a56cf9f44912355
This commit is contained in:
Prateek Saxena 2014-08-12 16:10:57 +05:30
parent 7370f63296
commit 26962431c3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/ext.popups.settings.js
View file

@ -46,7 +46,7 @@
$saveButton.click( settings.save );
$radioGroup.append( settings.renderOption( 0, options[ 0 ], true ) );
if ( true || settings.navPopEnabled ) { // FIXME
if ( settings.navPopEnabled ) {
$radioGroup.append( settings.renderOption( 1, options[ 1 ] ) );
}
$radioGroup.append( settings.renderOption( 2, options[ 2 ] ) );