Move class RangeDifference to own file
authorUmherirrender <umherirrender_de.wp@web.de>
Fri, 8 Mar 2019 22:29:14 +0000 (23:29 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 8 Mar 2019 22:29:14 +0000 (23:29 +0100)
commit9d5e2fd751412a2cef3a8774a8e8ce76ad7bd201
treea9b39cf128bdb80605fe5e332bcbdc7256470998
parentd57fc6f54380ae8248798661e0363011928e6ee9
Move class RangeDifference to own file

Change-Id: I5262c7484017a0d920cc24297515d5946f614ee6
.phpcs.xml
autoload.php
includes/diff/DiffEngine.php
includes/diff/RangeDifference.php [new file with mode: 0644]