wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-02 11:26:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
1478 commits 13 branches 19 tags 77 MiB
Commit graph

3 commits

Author SHA1 Message Date
bsitu 092127726b Hygiene: Echo/tests/phpunit/ directory structure should mimic Echo/ 
Change-Id: I4867d09bb815d621f9feaaf7b8a541e5d817e0d2
 2014-08-21 22:58:27 +00:00
Erik Bernhardson 71c7e02858 Directory reshuffle, add dev tools 
* Port Flow Makefile to Echo
* Move resources to Resources.php

Change-Id: I75e96cc1e51a7768600ffc083550fc94ea9d1e6c
 2014-08-01 22:38:41 +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