mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer
synced 2024-11-30 19:04:19 +00:00
b64642a527
Duplicated in core mixins with `.user-select()` since v1.38.0. Change-Id: Ia0d36bbd2fd417a7195c235854ddd81ac76e51c1 |
||
---|---|---|
.. | ||
img | ||
mmv.ui.download.pane.js | ||
mmv.ui.download.pane.less |