John Erling Blad has submitted this change and it was merged. Change subject: Implemented count ......................................................................
Implemented count Change-Id: Iac55c1e9c3f44d0261c264bb2b9efc0a09d80fb7 --- M includes/Diff.php M includes/DiffOp.php M includes/IDiff.php M includes/IDiffOp.php M tests/DiffOpTest.php M tests/ListDiffTest.php M tests/MapDiffTest.php 7 files changed, 96 insertions(+), 5 deletions(-) Approvals: John Erling Blad: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/21741 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iac55c1e9c3f44d0261c264bb2b9efc0a09d80fb7 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Diff Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: John Erling Blad <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
