Remove unused stuff from diffs

Change-Id: Ie7d46b9ed290912039c88bbf4548d4c3d97153c9

diff --git a/includes/diff/DairikiDiff.php b/includes/diff/DairikiDiff.php
index 72db5e1..ec2689c 100644 (file)
--- a/includes/diff/DairikiDiff.php
+++ b/includes/diff/DairikiDiff.php
@@ -216,17 +216,8 @@ class DiffOpChange extends DiffOp {
  * @ingroup DifferenceEngine
  */
 class DiffEngine {
-       const MAX_XREF_LENGTH = 10000;
-
        protected $xchanged, $ychanged;
 
-       protected $xv = [], $yv = [];
-       protected $xind = [], $yind = [];
-
-       protected $seq = [], $in_seq = [];
-
-       protected $lcs = 0;
-
        /**
         * @param string[] $from_lines
         * @param string[] $to_lines