Merge "REST: call MediaWiki::preOutputCommit and doPostOutputShutdown"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Aug 2019 23:36:36 +0000 (23:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Aug 2019 23:36:36 +0000 (23:36 +0000)
commitd75e186b732172107af3f4a3e54b273fb1e94117
tree552636890214001f5da73434b8ecd3d5ff79d8a7
parentc5d8c752d5d31fa746d89234bec789bc52272476
parent86693df2470314e220c0f4d027e7d84174929209
Merge "REST: call MediaWiki::preOutputCommit and doPostOutputShutdown"