Merge "Silence TransactionProfiler in MediaWiki::triggerSyncJobs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 3 May 2018 22:48:39 +0000 (22:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 3 May 2018 22:48:40 +0000 (22:48 +0000)
commite0ce6d3f2c771add56ba643cd7fd4eaf3c36dcdd
tree0880cc9eed21566c8ea4fcc24f16b2490ffc8d12
parent8b66626fe666cd7b299dfa53082ca3a8350981c0
parent123924440e2ad62b0d50052204f4c3af68023e23
Merge "Silence TransactionProfiler in MediaWiki::triggerSyncJobs"