diff options
author | Derick A <alangiderick@gmail.com> | 2020-07-16 21:39:16 +0100 |
---|---|---|
committer | DannyS712 <DannyS712.enwiki@gmail.com> | 2020-07-18 12:02:55 +0000 |
commit | 7524d834dd16042d164c3e7c71e44d702396f6d3 (patch) | |
tree | 1f7e3397837f26e93162b3e5fdf3be21892eb06b /includes/diff/DiffEngine.php | |
parent | bd0f2b78e5bae0bfd347c5affcc73d188f2a9ff5 (diff) | |
download | mediawikicore-7524d834dd16042d164c3e7c71e44d702396f6d3.tar.gz mediawikicore-7524d834dd16042d164c3e7c71e44d702396f6d3.zip |
diff: Remove unused DiffEngine::diff_range() private method
Change-Id: I02414b6fd87cff1efb563ad21c795b9559c2c7d8
Diffstat (limited to 'includes/diff/DiffEngine.php')
-rw-r--r-- | includes/diff/DiffEngine.php | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/includes/diff/DiffEngine.php b/includes/diff/DiffEngine.php index bf29f11e9857..700ef9aeb144 100644 --- a/includes/diff/DiffEngine.php +++ b/includes/diff/DiffEngine.php @@ -412,41 +412,6 @@ class DiffEngine { $this->added = $added; } - private function diff_range( $from_lines, $to_lines ) { - // Diff and store locally - $this->diff( $from_lines, $to_lines ); - unset( $from_lines, $to_lines ); - - $ranges = []; - $xi = $yi = 0; - while ( $xi < $this->m || $yi < $this->n ) { - // Matching "snake". - while ( $xi < $this->m && $yi < $this->n - && !$this->removed[$xi] - && !$this->added[$yi] - ) { - ++$xi; - ++$yi; - } - // Find deletes & adds. - $xstart = $xi; - while ( $xi < $this->m && $this->removed[$xi] ) { - ++$xi; - } - - $ystart = $yi; - while ( $yi < $this->n && $this->added[$yi] ) { - ++$yi; - } - - if ( $xi > $xstart || $yi > $ystart ) { - $ranges[] = new RangeDifference( $xstart, $xi, $ystart, $yi ); - } - } - - return $ranges; - } - private function lcs_rec( $bottoml1, $topl1, $bottoml2, $topl2, &$V, &$snake ) { // check that both sequences are non-empty if ( $bottoml1 > $topl1 || $bottoml2 > $topl2 ) { |