mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer
synced 2024-11-13 18:06:57 +00:00
a8838e4bae
Changes were generated by running this script: https://gist.github.com/trevorparscal/92ccdc4c49ab033d9ba8 File content changes: Scripts (*.js) - TextInputMenuWidget → TextInputMenuSelectWidget - MenuWidget → MenuSelectWidget - MenuItemWidget → MenuOptionWidget - MenuSectionItemWidget → MenuSectionOptionWidget - OutlineWidget → OutlineSelectWidget - OutlineItemWidget → OutlineOptionWidget Styles (*.less) - textInputMenuWidget → textInputMenuSelectWidget - menuWidget → menuSelectWidget - menuItemWidget → menuOptionWidget - menuSectionItemWidget → menuSectionOptionWidget - outlineWidget → outlineSelectWidget - outlineItemWidget → outlineOptionWidget Change-Id: I19ad3990837c0c565773fbb4c3d9d4d18e5f616e |
||
---|---|---|
.. | ||
categories.json | ||
external.js | ||
generate | ||
jsduck-config.json |