Resources.php: Add missing dependencies to module 'mediawiki.util'
authorFomafix <fomafix@googlemail.com>
Mon, 15 May 2017 19:38:32 +0000 (21:38 +0200)
committerFomafix <fomafix@googlemail.com>
Tue, 16 May 2017 04:20:29 +0000 (06:20 +0200)
commit3ad01cdeccedd7a49f1c3491434041dde243c873
tree8438b32a923c814b140f306ccd4ba95eb8435c5d
parent6f875daf49bc131844255d597f9a616e247e18a6
Resources.php: Add missing dependencies to module 'mediawiki.util'

Change-Id: Iac3070adc36533ae046f57ecc7c772247b42420d
resources/Resources.php