MediaWiki REL1_39
RangeDifference.php
Go to the documentation of this file.
1<?php
33
35 public $leftstart;
36
38 public $leftend;
39
42
45
47 public $rightend;
48
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)