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!