Add missing dependency on module 'mediawiki.util'
authorFomafix <fomafix@googlemail.com>
Tue, 4 Sep 2018 20:00:35 +0000 (22:00 +0200)
committerFomafix <fomafix@googlemail.com>
Tue, 4 Sep 2018 20:02:47 +0000 (22:02 +0200)
commit3a2efa44b78cfc48bcb276a9d366dd0a7ce13f9c
treec5431db411f90cd174a57b9f3dcc9b92a4112817
parenta0cd95dcb51d8c447789ae855e54d58989777ce9
Add missing dependency on module 'mediawiki.util'

mediawiki.action.edit.stash.js from module 'mediawiki.action.edit' uses
mw.util.getParamValue from module 'mediawiki.util'.

Change-Id: If56029f892ce79ff2ea01dd16814d5b7e826daa0
resources/Resources.php