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

Merge "Add missing ve-mw ve.ce.Node.css"

Browse source
This commit is contained in:
jenkins-bot 2013-07-05 18:46:13 +00:00 committed by Gerrit Code Review
parent 3456c7c441 ddc7648096
commit 4d6ec16c35
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
VisualEditor.php
View file

@ -540,7 +540,7 @@ $wgResourceModules += array(
'styles' => array(
// ce
've/ce/styles/ve.ce.Node.css',
've/ce/styles/ve.ce.Node.css',
've-mw/ce/styles/ve.ce.Node.css',
've/ce/styles/ve.ce.Surface.css',
// ui
've/ui/styles/ve.ui.css',