diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-08-05 22:52:06 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-08-05 22:52:06 +0000 |
| commit | a6b45d2a20c9be095431ac60ba0a4f5951b5f387 (patch) | |
| tree | 3f05eefd2d938683ee73e20349862d2008e9c423 /includes/deferred | |
| parent | c698fe313e6c067ad1bb156885558d1397d65b7f (diff) | |
| parent | d41fe82a23a2e48afd8be099b45a7dde8696e6d0 (diff) | |
| download | mediawikicore-a6b45d2a20c9be095431ac60ba0a4f5951b5f387.tar.gz mediawikicore-a6b45d2a20c9be095431ac60ba0a4f5951b5f387.zip | |
Merge "mediawiki.page.ready: Simplify logout code"
Diffstat (limited to 'includes/deferred')
0 files changed, 0 insertions, 0 deletions