mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
Fix forgotten "setPage" property because of merge conflict
The rename in I5a16ab4 was done the exact same time a new usage was introduced via Ibb717ca. Neither patch shows a conflict. Still there is one. I remove the extra `|| null` line because it is just not needed. We don't need to set the property to null when it was already null. Bug: T312213 Change-Id: Id3f025786c9412e8c1946434113c41356da08098
This commit is contained in:
parent
799c0b86ea
commit
cdb9766752
|
@ -145,14 +145,14 @@ ve.ui.MWTransclusionOutlineParameterSelectWidget.prototype.highlightItem = funct
|
|||
*/
|
||||
ve.ui.MWTransclusionOutlineParameterSelectWidget.prototype.markParameterAsUnused = function ( paramName ) {
|
||||
// There is no OO.ui.SelectWidget.unselectItemByData(), we need to do this manually
|
||||
/** @type {ve.ui.MWTransclusionOutlineParameterWidget} */
|
||||
var item = paramName ? this.findItemFromData( paramName ) : null;
|
||||
if ( item ) {
|
||||
item.setSelected( false );
|
||||
paramName = paramName || null;
|
||||
// An unused parameter can't be the active (set) one; it doesn't exist in the content pane
|
||||
if ( this.itemSet === paramName ) {
|
||||
this.itemSet = null;
|
||||
item.setParameter( false );
|
||||
if ( this.activeParameter === paramName ) {
|
||||
this.activeParameter = null;
|
||||
item.toggleActivePageIndicator( false );
|
||||
}
|
||||
}
|
||||
};
|
||||
|
|
Loading…
Reference in a new issue