Warning: session_start(): Session cannot be started after headers have already been sent in /home/tvrreohg/public_html/manga.php on line 13
|null */ public function getLineNumber(): ?int; /** * @return int<0, max>|null */ public function getColumnNumber(): ?int; /** * @param int<1, max>|null $lineNumber * @param int<0, max>|null $columnNumber * * @return $this fluent interface */ public function setPosition(?int $lineNumber, ?int $columnNumber = null): Positionable; }