dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
67a3e5e
)
resources: Mark MediaWiki.UI as deprecated.
author
James D. Forrester
<jforrester@wikimedia.org>
Thu, 26 Oct 2017 21:15:51 +0000
(14:15 -0700)
committer
Ed Sanders
<esanders@wikimedia.org>
Mon, 30 Oct 2017 21:47:19 +0000
(21:47 +0000)
Change-Id: Idd5f898c1b596040be8d14dee0a9893b59d6a532
resources/Resources.php
patch
|
blob
|
history
diff --git
a/resources/Resources.php
b/resources/Resources.php
index
b9986fe
..
1a2d707
100644
(file)
--- 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',