I'd like to request an update of the php-wikidiff2 Debian package. This is a Wikimedia-maintained package of Wikidiff2, the PHP extension used for computing diffs.
A recent change (3fc19bfc2f) brings a significant speed improvement to diffing, and it'd be nice to see it deployed.
Thanks!
I just came across https://www.mediawiki.org/wiki/Extension:Wikidiff2/Release_process. @Legoktm, who handles this nowadays?
I can do this release. We're also currently working on a fix in wikidiff2 that I expect to be merge during the next week. I would like to wait with that new version until then.
Tagged and released, can be deployed now @MoritzMuehlenhoff
https://github.com/wikimedia/mediawiki-php-wikidiff2/releases/tag/1.8.2
https://releases.wikimedia.org/wikidiff2/wikidiff2-1.8.2.tar.gz
Note that the package increased a lot in size due to included benchmark files.