class _DiffOp_Copy

class _DiffOp_Copy extends _DiffOp {
  var $type = 'copy';
  function _DiffOp_Copy($orig, $closing = FALSE) {
    if (!is_array($closing)) {
      $closing = $orig;
    }
    $this->orig = $orig;
    $this->closing = $closing;
  }
  function reverse() {
    return new _DiffOp_Copy($this->closing, $this->orig);
  }

}