wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 03:09:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
2117 commits 155 branches 0 tags 71 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ori Livneh e79fb20599 Always assume a prefix-length of one. 
Update Echo for I1bf1b8e6d: Make the output of UnifiedDiffFormatter match diff -u.

Change-Id: I00435a019753f639155df6572844c7112d717186
 2015-05-26 04:32:00 +02:00
Thiemo Mättig e205992d0b Remove unused code and fix missing/broken documentation 
General code cleanup as reported by the PHPStorm static code
analysis. I hope it's not a problem that I made a lot of very
different (but all very tiny) changes in a single patch. If you
want to merge this but you think it's better to split it into
several patches first, please tell me.

Change-Id: I2e2c4bb47f8d20e038d28e236e2ff813b30504af
 2014-06-04 04:54:00 +00:00
Erik Bernhardson 1d7b766754 Better detection of multiple changes in a document 
Detects changes to different parts of the document as independent from each
other. Refactored parser passes all tests the previous parser passed plus
a number of new tests which fail with the original parser.

Change-Id: I65fdc6d9f922cbe9ff684332945def3776c70d30
 2013-05-24 16:37:00 -07:00