mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-24 10:48:42 +00:00
Merge "Remove unnecessary duplications of 'default' theme files"
This commit is contained in:
commit
b17acda9b6
|
@ -275,17 +275,11 @@
|
|||
"default": [
|
||||
"modules/ve-mw/init/styles/ve.init.mw.ProgressBarWidget-wikimediatheme.css"
|
||||
],
|
||||
"vector": [
|
||||
"modules/ve-mw/init/styles/ve.init.mw.ProgressBarWidget-wikimediatheme.css"
|
||||
],
|
||||
"monobook": [
|
||||
"modules/ve-mw/init/styles/ve.init.mw.ProgressBarWidget-apextheme.css"
|
||||
],
|
||||
"apex": [
|
||||
"modules/ve-mw/init/styles/ve.init.mw.ProgressBarWidget-apextheme.css"
|
||||
],
|
||||
"minerva": [
|
||||
"modules/ve-mw/init/styles/ve.init.mw.ProgressBarWidget-wikimediatheme.css"
|
||||
]
|
||||
},
|
||||
"targets": [
|
||||
|
|
Loading…
Reference in a new issue