diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
| commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
| tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /vendor/oojs/oojs-ui/src/styles/widgets/MenuOptionWidget.less | |
| parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) | |
Update to MediaWiki 1.26.0
Diffstat (limited to 'vendor/oojs/oojs-ui/src/styles/widgets/MenuOptionWidget.less')
| -rw-r--r-- | vendor/oojs/oojs-ui/src/styles/widgets/MenuOptionWidget.less | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/vendor/oojs/oojs-ui/src/styles/widgets/MenuOptionWidget.less b/vendor/oojs/oojs-ui/src/styles/widgets/MenuOptionWidget.less deleted file mode 100644 index f7f9f7a4..00000000 --- a/vendor/oojs/oojs-ui/src/styles/widgets/MenuOptionWidget.less +++ /dev/null @@ -1,21 +0,0 @@ -@import '../common'; - -.oo-ui-menuOptionWidget { - position: relative; - - .oo-ui-iconElement-icon { - display: none; - } - - &.oo-ui-optionWidget { - &-selected { - background-color: transparent; - - .oo-ui-iconElement-icon { - display: block; - } - } - } - - .theme-oo-ui-menuOptionWidget(); -} |