Home
last modified time | relevance | path

Searched refs:DomSourceRange (Results 1 – 25 of 68) sorted by relevance

123

/dports/www/mediawiki135/mediawiki-1.35.5/vendor/wikimedia/parsoid/src/Core/
H A DDomSourceRange.php15 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 DDomSourceRange.php15 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 DDomSourceRange.php15 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 DExtensionTag.php6 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 DExtensionTag.php6 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 DDisplaySpace.php10 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 DUnpackDOMFragments.php10 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 DHeadings.php10 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 DDisplaySpace.php10 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 DUnpackDOMFragments.php11 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 DHeadings.php10 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 DDisplaySpace.php7 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 DUnpackDOMFragments.php8 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 DHeadings.php7 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 DUtils.php8 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 DContentUtils.php11 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 DComputeDSR.php12 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 DLinter.php12 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 DComputeDSR.php12 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 DComputeDSR.php10 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 DContentUtils.php12 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 DContentUtils.php8 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 DToken.php8 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 DToken.php8 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 DWTSUtils.php10 use Wikimedia\Parsoid\Core\DomSourceRange; alias
34 * @param DomSourceRange|null $dsr
37 public static function hasValidTagWidths( ?DomSourceRange $dsr ): bool {

123