diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-07-21 13:07:48 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-07-21 13:07:48 +0000 |
| commit | d891b52890d51ab8d6258cd8884c302213229946 (patch) | |
| tree | 746c210f6812601e660d84187b77691eef11c573 /tests/phpunit/includes/diff/TextDiffer/ManifoldTextDifferTest.php | |
| parent | 959298fea188644d4a355194d4655905d745c97a (diff) | |
| parent | 49ba7597a1bae5fd9de2b0282be380b36cfe990e (diff) | |
| download | mediawikicore-d891b52890d51ab8d6258cd8884c302213229946.tar.gz mediawikicore-d891b52890d51ab8d6258cd8884c302213229946.zip | |
Merge "phpcs: Exclude some docs/ subdirectories"
Diffstat (limited to 'tests/phpunit/includes/diff/TextDiffer/ManifoldTextDifferTest.php')
0 files changed, 0 insertions, 0 deletions