wp/wp-includes/Text/Diff/Engine/shell.php
changeset 16 a86126ab1dd4
parent 7 cf61fcea0001
child 21 48c4eec2b7e6
equal deleted inserted replaced
15:3d4e9c994f10 16:a86126ab1dd4
    81                 $to_line_no--;
    81                 $to_line_no--;
    82             }
    82             }
    83 
    83 
    84             if ($from_line_no < $match[1] || $to_line_no < $match[4]) {
    84             if ($from_line_no < $match[1] || $to_line_no < $match[4]) {
    85                 // copied lines
    85                 // copied lines
    86                 assert('$match[1] - $from_line_no == $match[4] - $to_line_no');
    86                 assert($match[1] - $from_line_no == $match[4] - $to_line_no);
    87                 array_push($edits,
    87                 array_push($edits,
    88                     new Text_Diff_Op_copy(
    88                     new Text_Diff_Op_copy(
    89                         $this->_getLines($from_lines, $from_line_no, $match[1] - 1),
    89                         $this->_getLines($from_lines, $from_line_no, $match[1] - 1),
    90                         $this->_getLines($to_lines, $to_line_no, $match[4] - 1)));
    90                         $this->_getLines($to_lines, $to_line_no, $match[4] - 1)));
    91             }
    91             }