[18:02:20] <musikanimal>	 if I wanted to make changes to the diff engine used on WMF wikis, where should I go? Special:Version doesn't list Extension:Wikidiff2 (which is what I thought we used), rather https://github.com/wmde/Diff. Then there's includes/diff/DifferenceEngine.php in MW core itself. Which one?
[18:02:33] <musikanimal>	 also my Docker installation appears to use https://github.com/sebastianbergmann/diff
[18:05:16] <James_F>	 musikanimal: We run the C code in prod.
[18:05:26] <James_F>	 As patched by WMDE semi-recently, yes.
[18:07:34] <musikanimal>	 so https://github.com/wmde/Diff makes use of the wikidiff2 C++ library? I didn't see any references to it
[18:08:12] <James_F>	 Oh, no, that libary's for Wikibase diffs
[18:10:39] <musikanimal>	 https://www.mediawiki.org/wiki/Extension:Wikidiff2 is what we use, right? why isn't it listed at https://en.wikipedia.org/wiki/Special:Version ?
[18:11:23] <James_F>	 That's a PHP extension, not a MediaWiki extensions.
[18:11:54] <James_F>	 If you do `php -m` in production you'll see `wikidiff2` as one of the PHP extensions (modules).
[18:12:12] <James_F>	 That page really shouldn't be in the Extension: namespace, it's rather confusing.
[18:12:24] <musikanimal>	 haha yes it is!
[18:13:41] <musikanimal>	 alright then, so for WMF wikis, the wikidiff2 PHP extension and the core stuff in includes/diff are what I need to focus on
[18:14:18] <James_F>	 Yes. wikidiff2 is built from https://gerrit.wikimedia.org/g/mediawiki/php/wikidiff2/+/master
[18:15:17] <James_F>	 (Moved.)
[18:15:17] <musikanimal>	 awesome. Thank you!