From 0b4421b0660dbb591db8a3d52c441ca6f80abf1d Mon Sep 17 00:00:00 2001 From: "James D. Forrester" Date: Thu, 11 Feb 2016 14:35:18 -0800 Subject: [PATCH] ResourcesOOUI: Remove deprecated oojs-ui.styles module Change-Id: I4e6b8897d9a443a11d20fd5d870b6e38e21afd1d --- resources/ResourcesOOUI.php | 3 --- 1 file changed, 3 deletions(-) diff --git a/resources/ResourcesOOUI.php b/resources/ResourcesOOUI.php index b2e2bd4dd7..b31fe829f8 100644 --- a/resources/ResourcesOOUI.php +++ b/resources/ResourcesOOUI.php @@ -88,9 +88,6 @@ return call_user_func( function () { 'skipFunction' => 'resources/src/oojs-ui-styles-skip.js', ]; - // Deprecated old name for the module 'oojs-ui-core.styles'. - $modules['oojs-ui.styles'] = $modules['oojs-ui-core.styles']; - // Additional widgets and layouts module. $modules['oojs-ui-widgets'] = [ 'scripts' => 'resources/lib/oojs-ui/oojs-ui-widgets.js', -- 2.20.1