Page MenuHomePhabricator

Update the php-wikidiff2 package
Closed, DuplicatePublic

Description

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!

Event Timeline

ori created this task.May 9 2019, 3:09 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMay 9 2019, 3:09 PM
WMDE-Fisch added a comment.EditedMay 9 2019, 4:46 PM

@WMDE-Fisch did the last release.

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.

ori added a comment.May 9 2019, 7:14 PM

SGTM; thank you.

ori assigned this task to WMDE-Fisch.May 9 2019, 7:15 PM
ori removed a project: Operations.

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.