Merge "mediawiki.page.ready: Simplify logout code"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 5 Aug 2019 22:52:06 +0000 (22:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 5 Aug 2019 22:52:06 +0000 (22:52 +0000)
commita6b45d2a20c9be095431ac60ba0a4f5951b5f387
tree3f05eefd2d938683ee73e20349862d2008e9c423
parentc698fe313e6c067ad1bb156885558d1397d65b7f
parentd41fe82a23a2e48afd8be099b45a7dde8696e6d0
Merge "mediawiki.page.ready: Simplify logout code"