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:
db9ca7a
)
editWarning: Declare dependency on user.options
author
Derk-Jan Hartman
<hartman.wiki@gmail.com>
Sun, 5 Jul 2015 20:34:53 +0000
(22:34 +0200)
committer
TheDJ
<hartman.wiki@gmail.com>
Sun, 5 Jul 2015 20:40:49 +0000
(20:40 +0000)
Bug: T102564
Change-Id: Ia4bc7860e6783c1ff9d94a9097c4e19cd34d57f8
resources/Resources.php
patch
|
blob
|
history
diff --git
a/resources/Resources.php
b/resources/Resources.php
index
2db3aff
..
b195211
100644
(file)
--- a/
resources/Resources.php
+++ b/
resources/Resources.php
@@
-1233,6
+1233,7
@@
return array(
'jquery.textSelection',
'mediawiki.jqueryMsg',
'mediawiki.confirmCloseWindow',
+ 'user.options',
),
'messages' => array(
'editwarning-warning',
@@
-1523,6
+1524,7
@@
return array(
'mediawiki.Title',
'mediawiki.util',
'mediawiki.confirmCloseWindow',
+ 'user.options',
),
),
'mediawiki.special.userlogin.common.styles' => array(