���ѧۧݧ�ӧ�� �ާ֧ߧ֧էا֧� - ���֧էѧܧ�ڧ��ӧѧ�� - /home/rickpfrv/wiki.craftaro.com/vendor/wikimedia/wikipeg/src/LocationRange.php
���ѧ٧ѧ�
<?php namespace Wikimedia\WikiPEG; class LocationRange implements \JsonSerializable { /** @var Location */ public $start; /** @var Location */ public $end; /** * @param int $startOffset * @param int $startLine * @param int $startColumn * @param int $endOffset * @param int $endLine * @param int $endColumn */ public function __construct( $startOffset, $startLine, $startColumn, $endOffset, $endLine, $endColumn ) { $this->start = new Location( $startOffset, $startLine, $startColumn ); $this->end = new Location( $endOffset, $endLine, $endColumn ); } /** @return string */ public function __toString() { return "{$this->start}-{$this->end}"; } /** Emit a JSON serialization similar to JS, for testing * @return array */ public function jsonSerialize() { return [ 'start' => $this->start, 'end' => $this->end, ]; } } // Retain the old namespace for backwards compatibility. class_alias( LocationRange::class, 'WikiPEG\LocationRange' );
| ver. 1.4 |
Github
|
.
| PHP 7.4.33 | ���֧ߧ֧�ѧ�ڧ� ����ѧߧڧ��: 0.19 |
proxy
|
phpinfo
|
���ѧ����ۧܧ�