wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 17:14:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix OOUI->MW theme mappings in extension.json

Browse source 
Bug: T206002
Change-Id: I1fcafa397d1054f4d380a60e0ba46c4ece34c7f0
This commit is contained in:
Ed Sanders 2018-10-03 22:17:49 +01:00
parent 3f1626c4f9
commit 29b277260f
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
extension.json
View file

@ -1046,6 +1046,9 @@
"vector": [
"lib/ve/src/themes/wikimediaui.css"
],
"minerva": [
"lib/ve/src/themes/wikimediaui.css"
],
"apex": [
"lib/ve/src/themes/apex.css"
],
@ -1456,6 +1459,12 @@
"vector": [
"modules/ve-mw/themes/wikimediaui.css"
],
"minerva": [
"modules/ve-mw/themes/wikimediaui.css"
],
"apex": [
"modules/ve-mw/themes/apex.css"
],
"monobook": [
"modules/ve-mw/themes/apex.css"
]