string[]
public function splitLines(?string $output) : array { $output = trim((string) $output); return $output === '' ? [] : Preg::split('{\\r?\\n}', $output); }