| commit | 7da60b98d196dc7bab82ce73e1e88ec82ba03725 | [log] [tgz] |
|---|---|---|
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | Sat Jul 17 23:29:33 2021 +0000 |
| committer | Gerrit Code Review <gerrit@wikimedia.org> | Sat Jul 17 23:29:33 2021 +0000 |
| tree | 6b79ccf181f7108ece93c66d93d0fae8e31e39be | |
| parent | 1624ea5b4fdab953f3563cb21c3e7e0fc52b68db [diff] | |
| parent | 4a5826445f8192384892c42a84a7da2e94f2e2a9 [diff] |
Merge "Use User->isRegistered(), not deprecated isLoggedIn()"