Remove unused stuff from diffs

[lhc/web/wiklou.git] / includes / diff / DairikiDiff.php

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