All right, votes indicate that wikidiff3 is even better in quality, so here we go: https://gerrit.wikimedia.org/r/#/c/284003/ removes DairikiDiff. After it's merged, I plan to refactor this area further and work on improving diff quality now that we'll have 2 places to make changes instead of 3.
On Mon, Apr 18, 2016 at 1:56 PM, Antoine Musso hashar+wmf@free.fr wrote:
Le 16/04/2016 04:00, MZMcBride a écrit :
Is there a related Phabricator Maniphest task about this? I'm not sure I understand the motivation for making a switch. I would think that heavy diffs are a very small portion of traffic.
An intensive would be for MediaWiki core to only have a single diff system instead of two.
For the historic part, wikidiff3 got introduced in August 2008:
https://www.mediawiki.org/wiki/Special:Code/MediaWiki/38653 commit e45cf2b8
-- Antoine "hashar" Musso
Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l