PHP-extension to generate faster diffs for MediaWiki.
- Documentation on mediawiki.org.
- For the page in MediaWiki core which displays differences between two revisions, see MediaWiki-Page-diffs.
PHP-extension to generate faster diffs for MediaWiki.
Change #1290280 merged by jenkins-bot:
[mediawiki/php/wikidiff2@master] Update licensing following PHP License, v4
Change #1290280 had a related patch set uploaded (by Legoktm; author: Legoktm):
[mediawiki/php/wikidiff2@master] Update licensing following PHP License, v4
Change #1278763 merged by jenkins-bot:
[mediawiki/php/wikidiff2@master] Switch to c++17 and rework the PhpAllocator
Yep; PHP is now GPL-compatible so it's totally fine to distribute built binaries under the GPL. I'll put up a patch updating the repo shortly.
Change #1278763 had a related patch set uploaded (by Ladsgroup; author: Ladsgroup):
[mediawiki/php/wikidiff2@master] Switch to c++17 and rework the PhpAllocator
The upstream PHP License, which was historically based on the BSD license with a "twist", has finally been untwisted and superseded into the BSD-3-Clause license.
Change #1224262 merged by jenkins-bot:
[mediawiki/php/wikidiff2@master] Drop support for PHP < 8.2
Change #1224262 had a related patch set uploaded (by Reedy; author: Reedy):
[mediawiki/php/wikidiff2@master] Drop support for PHP < 8.0
Looks like there are ⋮ in the visual diffs now at exactly the points where we missed them before.
Is this ticket still relevant? Untagging MobileFrontend as MobileFrontend no longer has any diff code.
The mobile site now uses the same code as the desktop site. Please see T358293 for more information. For any new or related bugs please file them under MediaWiki-Page-diffs
This is not specific to wikidiff2. The problem is somewhere in the PHP build system.
I don't really think it's necessary. Pages can have multiple languages on them. The content language is not necessarily correct. We're detecting whether the page contains Thai characters and running Thai word breaking only if Thai was detected. Profiling indicates that this is not a significant performance problem.
Example reported at T7072
This was done in ecdd1a34bef120d6ddd6ff3e4e37faecc1bfb922, citing T339915.
I split off a formatter hierarchy in 6d62f503fd7063a8d3b57f50e85da5b7780b5a6b. I hope that solves the problem sufficiently.
There was a bug in argument parsing which could have caused this, and it was fixed in c77f72ee4d6f95d25d14f89c2a9f670f2bf438e5. Please reopen this task if the crash is reproducible with wikdiff2 1.14.1.
wikidiff2 configuration settings are now available as $wgWikidiff2Options in MediaWiki.