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