diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2023-07-22 21:59:41 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2023-07-22 21:59:41 +0200 |
| commit | 3010fd8157b439ef0b07f7eff40e5033601ab49e (patch) | |
| tree | af025db770a44e6e57a20772b77678a93702744d /tests/phpunit/includes/diff/TextDiffer/Wikidiff2TextDifferTest.php | |
| parent | 80411facbffeb0383324bef084b7bfb58d60d231 (diff) | |
| download | mediawikicore-3010fd8157b439ef0b07f7eff40e5033601ab49e.tar.gz mediawikicore-3010fd8157b439ef0b07f7eff40e5033601ab49e.zip | |
tests: Skip ManifoldTextDifferTest on windows
Fails with a
1) ManifoldTextDifferTest::testHasFormatExternal
ExternalDiffEngine config points to a non-executable
Change-Id: Ifb32694f2c1cef32a354e20636463a22b7ab5f6f
Diffstat (limited to 'tests/phpunit/includes/diff/TextDiffer/Wikidiff2TextDifferTest.php')
0 files changed, 0 insertions, 0 deletions