MediaWiki REL1_35
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
53 $this->leftstart = $leftstart;
54 $this->leftend = $leftend;
55 $this->leftlength = $leftend - $leftstart;
56 $this->rightstart = $rightstart;
57 $this->rightend = $rightend;
58 $this->rightlength = $rightend - $rightstart;
59 }
60
61}
Alternative representation of a set of changes, by the index ranges that are changed.
__construct( $leftstart, $leftend, $rightstart, $rightend)