From d7bb03f11df2582ba80080a836a5a5587d597915 Mon Sep 17 00:00:00 2001
From: David Lynch <dlynch@wikimedia.org>
Date: Mon, 29 Feb 2016 10:59:59 -0600
Subject: [PATCH] oojs-ui.styles is now oojs-ui-core.styles

Bug: T127742
Change-Id: Ic32f721cd5fd5d7cf524c83fefd39c490a94f2d1
---
 skin.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/skin.json b/skin.json
index ebcb721..ea745a9 100644
--- a/skin.json
+++ b/skin.json
@@ -88,7 +88,7 @@
 			"jquery.ui.tabs": "skinStyles/jquery.ui/jquery.ui.tabs.css",
 			"jquery.ui.tooltips": "skinStyles/jquery.ui/jquery.ui.tooltips.css",
 			"+mediawiki.notification": "skinStyles/mediawiki.notification.less",
-			"+oojs-ui.styles": "skinStyles/ooui.less",
+			"+oojs-ui-core.styles": "skinStyles/ooui.less",
 			"mediawiki.special": "skinStyles/mediawiki.special.less",
 			"+mediawiki.special.preferences.styles": "skinStyles/mediawiki.special.preferences.styles.less"
 		}