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

Bring CommandHelpDialog CSS back

Browse source 
It was renamed but the new file was never added to VisualEditor.php?!?

Bug: 63018
Change-Id: I057992f1a4245d7b2bb5be6f3923414013746760
This commit is contained in:
Roan Kattouw 2014-03-26 15:30:45 -07:00
parent d9741aef73
commit c0f47ec725
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
VisualEditor.php
View file

@ -476,6 +476,7 @@ $wgResourceModules += array(
'lib/ve/modules/ve/ce/styles/ve.ce.Surface.css',
// ui
'lib/ve/modules/ve/ui/styles/ve.ui.CommandHelpDialog.css',
"lib/ve/modules/ve/ui/styles/ve.ui.DesktopContext.css",
"lib/ve/modules/ve/ui/styles/ve.ui.FormatTool.css",
'lib/ve/modules/ve/ui/styles/ve.ui.Inspector.css',