From 215f0327fe5dc3f5e66c7acf92789e5f6be4f5d4 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Wed, 1 Apr 2015 19:45:26 +0200 Subject: [PATCH] Resources.php: Remove duplicate copy of 'oojs-ui.styles' module derp Change-Id: Id7cd440888818e387f5cae68a5a63d73d3e11876 --- resources/Resources.php | 8 -------- 1 file changed, 8 deletions(-) diff --git a/resources/Resources.php b/resources/Resources.php index 6075edfab9..f9d2eacae6 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1709,14 +1709,6 @@ return array( 'targets' => array( 'desktop', 'mobile' ), ), - 'oojs-ui.styles' => array( - 'position' => 'top', - 'skinStyles' => array( - 'default' => 'resources/lib/oojs-ui/oojs-ui-mediawiki.css', - ), - 'targets' => array( 'desktop', 'mobile' ), - ), - // FIXME: This is a bit of a mess; T92551 requests fixing 'oojs-ui.styles.icons-alerts' => array( 'position' => 'top', -- 2.20.1