ResourcesOOUI: Remove deprecated oojs-ui.styles module

Change-Id: I4e6b8897d9a443a11d20fd5d870b6e38e21afd1d

diff --git a/resources/ResourcesOOUI.php b/resources/ResourcesOOUI.php
index b2e2bd4..b31fe82 100644 (file)
--- 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',