mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer
synced 2024-11-26 17:10:00 +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 |
||
---|---|---|
.. | ||
pages | ||
env.rb |