summaryrefslogtreecommitdiff
path: root/resources
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2012-06-13 23:40:19 +0200
committerPierre Schmitz <pierre@archlinux.de>2012-06-13 23:40:19 +0200
commit588cc40aeec0165400421ef9612e81b6d2c7b936 (patch)
tree85f1e86ba187fbc81ef42393433f1fa5aa6defb3 /resources
parent67674d7a741c7c1de947f30ceb1ab3b35283308e (diff)
Update to MediaWiki 1.19.1
Diffstat (limited to 'resources')
-rw-r--r--resources/Resources.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/resources/Resources.php b/resources/Resources.php
index ca64263a..ab2610ce 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -73,6 +73,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' ),