diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-11-21 14:21:54 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-11-21 14:21:54 +0000 |
| commit | ca45a3b28e66d07d51cba62425dfd5010db68b4b (patch) | |
| tree | a8dc1e84fede5b8b9555e56bfc50c21bf2415906 /tests/phpunit/includes/user/UserTest.php | |
| parent | 72898d45cb66c0571bde54fbbe863a972c6996bf (diff) | |
| parent | 7bf779524ab1fd8e1d74f79ea4840564d48eea4d (diff) | |
| download | mediawikicore-ca45a3b28e66d07d51cba62425dfd5010db68b4b.tar.gz mediawikicore-ca45a3b28e66d07d51cba62425dfd5010db68b4b.zip | |
Merge "Remove or replace usages of "sanity""
Diffstat (limited to 'tests/phpunit/includes/user/UserTest.php')
0 files changed, 0 insertions, 0 deletions