mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-24 14:33:59 +00:00
bfb5ba34ad
This seems to be dead code. * ve.ui.MWMediaSearchWidget does not have a #$spinner property. * .ve-specialchar-spinner class does not have any styles defined. Change-Id: I6fd35274bc1444303b67f8138ab875f0c6da7e4a |
||
---|---|---|
.. | ||
ce | ||
dm | ||
i18n | ||
init | ||
tests | ||
ui |