*/ function args(): array { /** @var list|null $args */ $args = $GLOBALS['argv'] ?? null; // @codeCoverageIgnoreStart if (null === $args) { return []; } // @codeCoverageIgnoreEnd return $args; }