wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 08:10:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Change selector vectorTabs => vector-menu-tabs

Browse source 
the former is no longer present
note: i assume the style is still needed, I have
not tested

Bug: T255718
Change-Id: I4e7851362fc0d64097aeff5ec1535f8fe7480682
This commit is contained in:
jdlrobson 2020-10-15 07:23:19 -07:00 committed by Jdlrobson
parent bc00119ffb
commit 80415f3b0f
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;
}