diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-05-26 11:00:58 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-05-26 11:00:58 +0000 |
| commit | 111ae6400d35b69c401bb5a91b9b72501b94b0e4 (patch) | |
| tree | 31f330714c67bdb41c6e62c0b2cab0ef2d24ea7a /tests/phpunit/includes/EditPageTest.php | |
| parent | 9d1bd65aa27a234079fe4959fa13cb0daf5a22a5 (diff) | |
| parent | 49372c72eba9290bd22b9ebede91a05be9d0efbb (diff) | |
| download | mediawikicore-111ae6400d35b69c401bb5a91b9b72501b94b0e4.tar.gz mediawikicore-111ae6400d35b69c401bb5a91b9b72501b94b0e4.zip | |
Merge "auth: Add helpful type hint to AuthManager"
Diffstat (limited to 'tests/phpunit/includes/EditPageTest.php')
0 files changed, 0 insertions, 0 deletions