From 7e60f670bfaafbc7dafe554b6ad386a514898508 Mon Sep 17 00:00:00 2001 From: Max Semenik Date: Tue, 26 Apr 2016 13:57:52 -0700 Subject: [PATCH] Remove unused stuff from diffs Change-Id: Ie7d46b9ed290912039c88bbf4548d4c3d97153c9 --- includes/diff/DairikiDiff.php | 9 --------- 1 file changed, 9 deletions(-) diff --git a/includes/diff/DairikiDiff.php b/includes/diff/DairikiDiff.php index 72db5e132d..ec2689c85a 100644 --- 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 -- 2.20.1