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:
3851367
)
Merge "Add dependencies on module 'user.options'"
author
jenkins-bot
<jenkins-bot@gerrit.wikimedia.org>
Fri, 7 Dec 2018 18:22:13 +0000
(18:22 +0000)
committer
Gerrit Code Review
<gerrit@wikimedia.org>
Fri, 7 Dec 2018 18:22:13 +0000
(18:22 +0000)
resources/Resources.php
patch
|
blob
|
history
diff --git
a/resources/Resources.php
b/resources/Resources.php
index
d12f89d
..
317385d
100644
(file)
--- a/
resources/Resources.php
+++ b/
resources/Resources.php
@@
-1181,6
+1181,7
@@
return [
'jquery.suggestions',
'jquery.getAttrs',
'mediawiki.api',
+ 'user.options',
],
],
'mediawiki.storage' => [
@@
-1786,6
+1787,7
@@
return [
'mediawiki.jqueryMsg',
'mediawiki.Uri',
'mediawiki.user',
+ 'user.options',
],
'messages' => [
'quotation-marks',