Merge "Add missing dependency from 'mediawiki.user' to 'mediawiki.storage'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 6 Mar 2017 20:53:05 +0000 (20:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 6 Mar 2017 20:53:06 +0000 (20:53 +0000)
commitb72a6e0a9ea31668ecbe4a8642b26f3c089eed20
tree32cf60532d630e8c7cfa5bc21ad81002e7ca3068
parent1ff8d105f22baeae6ea0daa7fe4d06319e62f084
parent2b5f00be22f2b9cd0582d16d6c75638acdb57447
Merge "Add missing dependency from 'mediawiki.user' to 'mediawiki.storage'"
resources/Resources.php