Page MenuHomePhabricator

VisualEditor: Use $.when() rather than sourceCount in MediaSearchWidget
Closed, ResolvedPublic

Description

See inline comment on https://gerrit.wikimedia.org/r/#/c/133050/1/modules/ve-mw/ui/widgets/ve.ui.MWMediaSearchWidget.js


Version: unspecified
Severity: enhancement

Details

Reference
bz65321

Event Timeline

bzimport raised the priority of this task from to High.Nov 22 2014, 3:11 AM
bzimport set Reference to bz65321.

Change 150001 had a related patch set uploaded by Mooeypoo:
Use to $.when() in MediaSearchWidget

https://gerrit.wikimedia.org/r/150001

Change 150001 merged by jenkins-bot:
Use $.when() in MediaSearchWidget

https://gerrit.wikimedia.org/r/150001