Provide direct deprecation message for jquery.ui.spinner

The whole of jquery.ui is deprecated, but this provides
a more direct replacement suggestion for this module.

Change-Id: I1c09ca48765f3c82f2318fd53d679e4168e5d565

diff --git a/resources/Resources.php b/resources/Resources.php
index 5e5f308..b2d0ad2 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -592,6 +592,7 @@ return [
                'group' => 'jquery.ui',
        ],
        'jquery.ui.spinner' => [
+               'deprecated' => 'Please use "jquery.spinner" instead.',
                'scripts' => 'resources/lib/jquery.ui/jquery.ui.spinner.js',
                'dependencies' => [
                        'jquery.ui.core',