wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-23 11:32:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Change selector vectorTabs => vector-menu-tabs"

Browse source
This commit is contained in:
jenkins-bot 2020-11-05 00:33:22 +00:00 committed by Gerrit Code Review
parent 903f0cf0ed 80415f3b0f
commit b78a0038e4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget-vector.css
View file

@ -8,7 +8,7 @@
/* stylelint-disable unit-blacklist */
/* stylelint-disable-next-line selector-class-pattern */
.ve-activated .vectorTabs .selected {
.ve-activated .vector-menu-tabs .selected {
box-shadow: inset 0 -1px 0 #e1f1fc;
}