Add dependencies on module 'user.options'
authorFomafix <fomafix@googlemail.com>
Thu, 6 Dec 2018 19:52:24 +0000 (20:52 +0100)
committerFomafix <fomafix@googlemail.com>
Thu, 6 Dec 2018 19:54:12 +0000 (20:54 +0100)
commit89dd1f7c93e809d11e68b5f804179587b7e87ff6
treee95bdcd70b2b9ac9e58574ad074c8e88a518185b
parentdb19ae7b99618aa3aa5182cd3a2a1d17486be32e
Add dependencies on module 'user.options'

This change adds missing dependencies on the module 'user.options'
where the user options get requested via mw.user.options.

Change-Id: I63faaba4b286837cc4e3656d14ea1b255bbf32a6
resources/Resources.php