mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer
synced 2024-11-17 12:53:24 +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
9 lines
152 B
Plaintext
9 lines
152 B
Plaintext
@explanation-color: #aaaaaa;
|
|
|
|
.mw-mmv-shareembed-explanation {
|
|
color: @explanation-color;
|
|
font-size: 0.9em;
|
|
margin-left: 1.5em;
|
|
padding: 5px 8px;
|
|
}
|