diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-07-20 11:56:18 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-07-20 11:56:18 +0000 |
commit | 175563ded4b381393bba354d8cebdb01c1af692b (patch) | |
tree | f5330e3dc949f1102ac2e99e4cf071534eb99807 /tests/phpunit/includes/diff/TextDiffer/ManifoldTextDifferTest.php | |
parent | 2e1fce16e3925b3cd24d1713fd7c4937c6b3fac2 (diff) | |
parent | 55d19f7b55f6616b911113047a25c169304ddd26 (diff) | |
download | mediawikicore-175563ded4b381393bba354d8cebdb01c1af692b.tar.gz mediawikicore-175563ded4b381393bba354d8cebdb01c1af692b.zip |
Merge "SpecialUserRights: Check for username to be temporary"
Diffstat (limited to 'tests/phpunit/includes/diff/TextDiffer/ManifoldTextDifferTest.php')
0 files changed, 0 insertions, 0 deletions