/dports/www/mediawiki135/mediawiki-1.35.5/vendor/wikimedia/parsoid/src/Core/ |
H A D | DomSourceRange.php | 15 class DomSourceRange extends SourceRange { class 123 * @return DomSourceRange 125 public function offset( int $amount ): DomSourceRange { 126 return new DomSourceRange( 145 * @return DomSourceRange 147 public static function fromTsr( SourceRange $tsr ): DomSourceRange { 148 return new DomSourceRange( $tsr->start, $tsr->end, null, null ); 155 * @return DomSourceRange 157 public static function fromArray( array $dsr ): DomSourceRange { 162 return new DomSourceRange(
|
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/wikimedia/parsoid/src/Core/ |
H A D | DomSourceRange.php | 15 class DomSourceRange extends SourceRange { class 147 * @return DomSourceRange 149 public function offset( int $amount ): DomSourceRange { 150 return new DomSourceRange( 171 * @return DomSourceRange 173 public static function fromTsr( SourceRange $tsr ): DomSourceRange { 174 return new DomSourceRange( $tsr->start, $tsr->end, null, null ); 181 * @return DomSourceRange 183 public static function fromArray( array $dsr ): DomSourceRange { 186 return new DomSourceRange(
|
/dports/www/mediawiki137/mediawiki-1.37.1/vendor/wikimedia/parsoid/src/Core/ |
H A D | DomSourceRange.php | 15 class DomSourceRange extends SourceRange { class 147 * @return DomSourceRange 149 public function offset( int $amount ): DomSourceRange { 150 return new DomSourceRange( 171 * @return DomSourceRange 173 public static function fromTsr( SourceRange $tsr ): DomSourceRange { 174 return new DomSourceRange( $tsr->start, $tsr->end, null, null ); 181 * @return DomSourceRange 183 public static function fromArray( array $dsr ): DomSourceRange { 186 return new DomSourceRange(
|
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/wikimedia/parsoid/src/Ext/ |
H A D | ExtensionTag.php | 6 use Wikimedia\Parsoid\Core\DomSourceRange; alias 34 * @return DomSourceRange|null 36 public function getOffsets(): ?DomSourceRange {
|
/dports/www/mediawiki137/mediawiki-1.37.1/vendor/wikimedia/parsoid/src/Ext/ |
H A D | ExtensionTag.php | 6 use Wikimedia\Parsoid\Core\DomSourceRange; alias 34 * @return DomSourceRange|null 36 public function getOffsets(): ?DomSourceRange {
|
/dports/www/mediawiki135/mediawiki-1.35.5/vendor/wikimedia/parsoid/src/Wt2Html/PP/Handlers/ |
H A D | DisplaySpace.php | 10 use Wikimedia\Parsoid\Core\DomSourceRange; alias 75 $dsr = new DomSourceRange( $start, $start + 1, 0, 0 ); 77 $dsr = new DomSourceRange( null, null, null, null );
|
H A D | UnpackDOMFragments.php | 10 use Wikimedia\Parsoid\Core\DomSourceRange; alias 74 $dp->dsr = new DomSourceRange( $currOffset, $currOffset, null, null ); 257 $cnDP->dsr = new DomSourceRange( $dsr->start, $dsr->end, null, null ); 263 $cnDP->dsr = new DomSourceRange( $dsr->start, $dsr->end, 2, 2 );
|
H A D | Headings.php | 10 use Wikimedia\Parsoid\Core\DomSourceRange; alias 68 DOMDataUtils::getDataParsoid( $span )->dsr = new DomSourceRange( $offset, $offset, null, null );
|
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/wikimedia/parsoid/src/Wt2Html/PP/Handlers/ |
H A D | DisplaySpace.php | 10 use Wikimedia\Parsoid\Core\DomSourceRange; alias 76 $dsr = new DomSourceRange( $start, $start + 1, 0, 0 ); 78 $dsr = new DomSourceRange( null, null, null, null );
|
H A D | UnpackDOMFragments.php | 11 use Wikimedia\Parsoid\Core\DomSourceRange; alias 81 $dp->dsr = new DomSourceRange( $newOffset, $newOffset, null, null ); 254 $cnDP->dsr = new DomSourceRange( $dsr->start, $dsr->end, null, null ); 260 $cnDP->dsr = new DomSourceRange( $dsr->start, $dsr->end, 2, 2 );
|
H A D | Headings.php | 10 use Wikimedia\Parsoid\Core\DomSourceRange; alias 68 DOMDataUtils::getDataParsoid( $span )->dsr = new DomSourceRange( $offset, $offset, null, null );
|
/dports/www/mediawiki137/mediawiki-1.37.1/vendor/wikimedia/parsoid/src/Wt2Html/PP/Handlers/ |
H A D | DisplaySpace.php | 7 use Wikimedia\Parsoid\Core\DomSourceRange; alias 76 $dsr = new DomSourceRange( $start, $start + 1, 0, 0 ); 78 $dsr = new DomSourceRange( null, null, null, null );
|
H A D | UnpackDOMFragments.php | 8 use Wikimedia\Parsoid\Core\DomSourceRange; alias 85 $dp->dsr = new DomSourceRange( $newOffset, $newOffset, null, null ); 258 $cnDP->dsr = new DomSourceRange( $dsr->start, $dsr->end, null, null ); 264 $cnDP->dsr = new DomSourceRange( $dsr->start, $dsr->end, 2, 2 );
|
H A D | Headings.php | 7 use Wikimedia\Parsoid\Core\DomSourceRange; alias 69 DOMDataUtils::getDataParsoid( $span )->dsr = new DomSourceRange( $offset, $offset, null, null );
|
/dports/www/mediawiki135/mediawiki-1.35.5/vendor/wikimedia/parsoid/src/Utils/ |
H A D | Utils.php | 8 use Wikimedia\Parsoid\Core\DomSourceRange; alias 197 * @param DomSourceRange|null $dsr DSR source range values 201 public static function isValidDSR( ?DomSourceRange $dsr, bool $all = false ): bool {
|
H A D | ContentUtils.php | 11 use Wikimedia\Parsoid\Core\DomSourceRange; alias 299 $collectDSR = function ( DomSourceRange $dsr ) use ( $collect ) { 320 $applyDSR = function ( DomSourceRange $dsr ) use ( $offsetMap ) { 333 return new DomSourceRange(
|
/dports/www/mediawiki135/mediawiki-1.35.5/vendor/wikimedia/parsoid/src/Wt2Html/PP/Processors/ |
H A D | ComputeDSR.php | 12 use Wikimedia\Parsoid\Core\DomSourceRange; alias 366 $ndp->tmp->origDSR = new DomSourceRange( $ndp->dsr->start, $ndp->dsr->end, null, null ); 622 $dp->dsr = new DomSourceRange( $origCE, $origCE, null, null ); 624 $dp->dsr = new DomSourceRange( $cs, $ce, $stWidth, $etWidth ); 659 $siblingDP->dsr = new DomSourceRange( null, null, null, null ); 803 $dp->dsr = new DomSourceRange( $startOffset, $endOffset, 0, 0 );
|
H A D | Linter.php | 12 use Wikimedia\Parsoid\Core\DomSourceRange; alias 201 * @param DomSourceRange|null $nodeDSR 203 * @return DomSourceRange|null 206 ?array $tplLintInfo, ?stdClass $tplInfo, ?DomSourceRange $nodeDSR, callable $updateNodeDSR = null 207 ): ?DomSourceRange { 717 function ( ?DomSourceRange $nodeDSR ): ?DomSourceRange { 1042 $item['dsr'] = DomSourceRange::fromArray( $item['dsr'] );
|
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/wikimedia/parsoid/src/Wt2Html/PP/Processors/ |
H A D | ComputeDSR.php | 12 use Wikimedia\Parsoid\Core\DomSourceRange; alias 367 $ndp->tmp->origDSR = new DomSourceRange( $ndp->dsr->start, $ndp->dsr->end, null, null ); 622 $dp->dsr = new DomSourceRange( $origCE, $origCE, null, null ); 624 $dp->dsr = new DomSourceRange( $cs, $ce, $stWidth, $etWidth ); 659 $siblingDP->dsr = new DomSourceRange( null, null, null, null ); 805 $dp->dsr = new DomSourceRange( $startOffset, $endOffset, 0, 0 );
|
/dports/www/mediawiki137/mediawiki-1.37.1/vendor/wikimedia/parsoid/src/Wt2Html/PP/Processors/ |
H A D | ComputeDSR.php | 10 use Wikimedia\Parsoid\Core\DomSourceRange; alias 376 $ndp->tmp->origDSR = new DomSourceRange( $ndp->dsr->start, $ndp->dsr->end, null, null ); 633 $dp->dsr = new DomSourceRange( $origCE, $origCE, null, null ); 635 $dp->dsr = new DomSourceRange( $cs, $ce, $stWidth, $etWidth ); 670 $siblingDP->dsr = new DomSourceRange( null, null, null, null ); 816 $dp->dsr = new DomSourceRange( $startOffset, $endOffset, 0, 0 );
|
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/wikimedia/parsoid/src/Utils/ |
H A D | ContentUtils.php | 12 use Wikimedia\Parsoid\Core\DomSourceRange; alias 327 $collectDSR = function ( DomSourceRange $dsr ) use ( $collect ) { 348 $applyDSR = function ( DomSourceRange $dsr ) use ( $offsetMap ) { 361 return new DomSourceRange(
|
/dports/www/mediawiki137/mediawiki-1.37.1/vendor/wikimedia/parsoid/src/Utils/ |
H A D | ContentUtils.php | 8 use Wikimedia\Parsoid\Core\DomSourceRange; alias 327 $collectDSR = static function ( DomSourceRange $dsr ) use ( $collect ) { 348 $applyDSR = static function ( DomSourceRange $dsr ) use ( $offsetMap ) { 361 return new DomSourceRange(
|
/dports/www/mediawiki135/mediawiki-1.35.5/vendor/wikimedia/parsoid/src/Tokens/ |
H A D | Token.php | 8 use Wikimedia\Parsoid\Core\DomSourceRange; alias 325 $da->dsr = DomSourceRange::fromArray( $da->dsr ); 331 $da->extTagOffsets = DomSourceRange::fromArray( $da->extTagOffsets );
|
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/wikimedia/parsoid/src/Tokens/ |
H A D | Token.php | 8 use Wikimedia\Parsoid\Core\DomSourceRange; alias 327 $da->dsr = DomSourceRange::fromArray( $da->dsr ); 333 $da->extTagOffsets = DomSourceRange::fromArray( $da->extTagOffsets );
|
/dports/www/mediawiki135/mediawiki-1.35.5/vendor/wikimedia/parsoid/src/Html2Wt/ |
H A D | WTSUtils.php | 10 use Wikimedia\Parsoid\Core\DomSourceRange; alias 34 * @param DomSourceRange|null $dsr 37 public static function hasValidTagWidths( ?DomSourceRange $dsr ): bool {
|