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

Merge "Update for Id369ecaec704 in MW core"

Browse source
This commit is contained in:
jenkins-bot 2015-04-28 20:21:16 +00:00 committed by Gerrit Code Review
parent 76aa7c8ad6 3f38380723
commit ec62f4a4b8
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
VisualEditor.php
View file

@ -286,7 +286,6 @@ $wgResourceModules += array(
'dependencies' => array(
'oojs',
'oojs-ui',
'oojs-ui.styles.icons-editing-core',
'unicodejs',
'ext.visualEditor.ve',
),
@ -1558,6 +1557,8 @@ $wgResourceModules += array(
'oojs-ui.styles.icons-editing-core',
'oojs-ui.styles.icons-editing-styling',
'oojs-ui.styles.icons-editing-list',
'oojs-ui.styles.indicators',
'oojs-ui.styles.textures',
),
'targets' => array( 'desktop', 'mobile' ),
),