Merge "mail: Avoid use of global state and use MediaWiki services DI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 Aug 2019 15:26:47 +0000 (15:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Aug 2019 15:26:47 +0000 (15:26 +0000)
commitbfa1c678c2f6011d49695bd279f931603c333cf4
treef387e7571b6417d6a451fba9c84a79f554d9d6a6
parentbfd7b5a0e8a3267b553ef2ac74425780de7fc7fb
parent3cc65c87e3dcfaba54247b6b3e0120c3f6b8a49b
Merge "mail: Avoid use of global state and use MediaWiki services DI"