Merge "Remove 'jquery.ui.button' as dependency for mediawiki.action.history"

[lhc/web/wiklou.git] / resources / Resources.php

diff --git a/resources/Resources.php b/resources/Resources.php
index 886dc56..f186183 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -70,6 +70,7 @@ return array(
                'localBasePath' => $GLOBALS['wgStyleDirectory'],
        ),
        'skins.vector' => array(
+               // Keep in sync with WebInstallerOutput::getCSS()
                'styles' => array(
                        'common/commonElements.css' => array( 'media' => 'screen' ),
                        'common/commonContent.css' => array( 'media' => 'screen' ),