diff options
| author | Lucas Werkmeister <lucas.werkmeister@wikimedia.de> | 2023-07-20 17:07:10 +0200 |
|---|---|---|
| committer | Lucas Werkmeister <lucas.werkmeister@wikimedia.de> | 2023-07-21 10:57:23 +0200 |
| commit | 49ba7597a1bae5fd9de2b0282be380b36cfe990e (patch) | |
| tree | e270a1224af80d83a7bdcd44d9fd8be194b2569c /tests/phpunit/includes/diff/TextDiffer/ManifoldTextDifferTest.php | |
| parent | fe7a8b24d79bf2834ece1081e8ef8cbcb4796fa0 (diff) | |
| download | mediawikicore-49ba7597a1bae5fd9de2b0282be380b36cfe990e.tar.gz mediawikicore-49ba7597a1bae5fd9de2b0282be380b36cfe990e.zip | |
phpcs: Exclude some docs/ subdirectories
Based on .eslintignore; docs/html/, in particular, can contain a handful
of PHP files that shouldn’t be linted. (All four directories are
generated, see .gitignore and docs/html/.gitignore.)
Change-Id: I0fb06d4a6c716680850de93096395650afe3802b
Diffstat (limited to 'tests/phpunit/includes/diff/TextDiffer/ManifoldTextDifferTest.php')
0 files changed, 0 insertions, 0 deletions