MediaWiki  master
RangeDifference.php
Go to the documentation of this file.
1 <?php
33 
35  public $leftstart;
36 
38  public $leftend;
39 
41  public $leftlength;
42 
44  public $rightstart;
45 
47  public $rightend;
48 
50  public $rightlength;
51 
59  $this->leftstart = $leftstart;
60  $this->leftend = $leftend;
61  $this->leftlength = $leftend - $leftstart;
62  $this->rightstart = $rightstart;
63  $this->rightend = $rightend;
64  $this->rightlength = $rightend - $rightstart;
65  }
66 
67 }
Alternative representation of a set of changes, by the index ranges that are changed.
__construct( $leftstart, $leftend, $rightstart, $rightend)