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

Merge "Create ve.ui.MWCommandHelpDialog.css for height hack"

Browse source
This commit is contained in:
jenkins-bot 2014-11-25 19:42:43 +00:00 committed by Gerrit Code Review
parent 9fd9730549 fa34e91da8
commit 0130b6b45c
2 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
VisualEditor.php
View file

@ -808,6 +808,7 @@ $wgResourceModules += array(
'styles' => array(
// ui
'modules/ve-mw/ui/styles/inspectors/ve.ui.MWExtensionInspector.css',
'modules/ve-mw/ui/styles/dialogs/ve.ui.MWCommandHelpDialog.css',
'modules/ve-mw/ui/styles/dialogs/ve.ui.MWSaveDialog.css',
'modules/ve-mw/ui/styles/widgets/ve.ui.MWTitleInputWidget.css',
'modules/ve-mw/ui/styles/widgets/ve.ui.MWTocWidget.css',

12
modules/ve-mw/ui/styles/dialogs/ve.ui.MWCommandHelpDialog.css Normal file
View file

@ -0,0 +1,12 @@
/*!
* VisualEditor UserInterface MediaWiki CommandHelpDialog styles.
*
* @copyright 2011-2014 VisualEditor Team and others; see http://ve.mit-license.org
*/
.ve-ui-commandHelpDialog-container {
/*
* See ve.ui.CommandHelpDialog.css
*/
height: 38em;
}