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

Rename mediawikitheme -> wikimediatheme

Browse source 
Change-Id: I48e1fcc0b71dccdb6d8e034d686a4bfe5dbe39e6
This commit is contained in:
Ed Sanders 2017-10-21 14:03:54 +01:00
parent 2f9470d9ae
commit 50217d2a19
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -263,7 +263,7 @@
"styles": "modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget.init.css",
"skinStyles": {
"default": [
"modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget.init-mediawikitheme.css"
"modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget.init-wikimediatheme.css"
],
"monobook": [
"modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget.init-apextheme.css"

2
modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget.init-mediawikitheme.css → modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget.init-wikimediatheme.css
View file

@ -1,5 +1,5 @@
/*!
* VisualEditor MediaWiki DesktopArticleTarget MediaWiki theme init styles.
* VisualEditor MediaWiki DesktopArticleTarget WikimediaUI theme init styles.
*
* @copyright 2011-2017 VisualEditor Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt