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(a)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(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
--
Best regards,
Max Semenik ([[User:MaxSem]])