Merge "Fix usage of MediaWikiServices in comments and documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 3 Mar 2019 14:36:53 +0000 (14:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 3 Mar 2019 14:36:53 +0000 (14:36 +0000)
commitd10fed6217aaf4416ab195c90de016ea7bbfaad4
tree0230256c8631ab8a3c93639f139bd3cddc2b1b80
parent3d662e93a2787cc58ed46418d2e911fd3df15f92
parent4b4699479957417909238f343436dc26a76eed9f
Merge "Fix usage of MediaWikiServices in comments and documentation"