dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
7d36b9c
)
Merge "ResourcesOOUI: Remove deprecated oojs-ui.styles module"
author
jenkins-bot
<jenkins-bot@gerrit.wikimedia.org>
Thu, 19 May 2016 17:46:18 +0000
(17:46 +0000)
committer
Gerrit Code Review
<gerrit@wikimedia.org>
Thu, 19 May 2016 17:46:18 +0000
(17:46 +0000)
resources/ResourcesOOUI.php
patch
|
blob
|
history
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',