From dbcdb95209d38b920dbb8a52e784e3bddd7698a5 Mon Sep 17 00:00:00 2001 From: "James D. Forrester" Date: Thu, 26 Oct 2017 14:15:51 -0700 Subject: [PATCH] resources: Mark MediaWiki.UI as deprecated. Change-Id: Idd5f898c1b596040be8d14dee0a9893b59d6a532 --- resources/Resources.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/resources/Resources.php b/resources/Resources.php index b9986fec57..1a2d707f22 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -360,7 +360,7 @@ return [ /* jQuery UI */ 'jquery.ui.core' => [ - 'deprecated' => 'Please use "mediawiki.ui.button" or "oojs-ui" instead.', + 'deprecated' => 'Please use OOUI instead.', 'scripts' => 'resources/lib/jquery.ui/jquery.ui.core.js', 'dependencies' => [ 'jquery.ui.core.styles', @@ -2311,6 +2311,7 @@ return [ /* MediaWiki UI */ 'mediawiki.ui' => [ + 'deprecated' => 'Please use OOUI instead.', 'skinStyles' => [ 'default' => [ 'resources/src/mediawiki.ui/default.less', -- 2.20.1