Merge "Add dependencies to module mediawiki.util"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 17 Aug 2014 19:43:46 +0000 (19:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 17 Aug 2014 19:43:46 +0000 (19:43 +0000)
commitd1631fe35be54bbbdcd09db97836b08832d73d8a
tree6318484ce1d700ebe6950961e60e8d1f46032e93
parent9ad2c1a8fb8fee4e4427b4c407410affc4907cf5
parentcb03bf680a9ee2fe8caada601ef68ba4dd7ea4c2
Merge "Add dependencies to module mediawiki.util"