From 029843206a4216903bec03a87e2bf4c13bbfeb21 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Sun, 23 Feb 2014 19:44:04 +0100 Subject: [PATCH] Resources.php: Create a section for MediaWiki UI MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit The modules were placed under MediaWiki Legacy… Change-Id: I36d8753689a286a7cb6a0df128ce0e1e3d7ee780 --- resources/Resources.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/resources/Resources.php b/resources/Resources.php index 7f5b75ab52..29945ae2ce 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1333,6 +1333,9 @@ return array( ), 'position' => 'top', ), + + /* MediaWiki UI */ + 'mediawiki.ui' => array( 'skinStyles' => array( 'default' => 'resources/mediawiki.ui/default.less', @@ -1360,7 +1363,6 @@ return array( ), 'targets' => array( 'desktop', 'mobile' ), ), - 'oojs-ui' => array( 'scripts' => array( 'resources/oojs-ui/oojs-ui.js', -- 2.20.1