diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-07-24 21:30:44 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-07-24 21:30:44 +0000 |
| commit | 09ac4664ed1c1b74d3537b0d4d5dbdca3be9981d (patch) | |
| tree | 2779a095183cf240a47075be7bd95854c4deb0db /tests/phpunit/includes/diff/TextDiffer/Wikidiff2TextDifferTest.php | |
| parent | 9dbd4e596af9c3517f95a9f6c1e050ba674b7a7b (diff) | |
| parent | 8746ce829ba63817102204914cc3cc56d4cce8c2 (diff) | |
| download | mediawikicore-09ac4664ed1c1b74d3537b0d4d5dbdca3be9981d.tar.gz mediawikicore-09ac4664ed1c1b74d3537b0d4d5dbdca3be9981d.zip | |
Merge "diff: add padding to ins and del to avoid whitespace between lines"
Diffstat (limited to 'tests/phpunit/includes/diff/TextDiffer/Wikidiff2TextDifferTest.php')
0 files changed, 0 insertions, 0 deletions