superlint/test/linters/php_phpstan/php_good_2.php

<?php

/**
 * @return array<string>
 */
function helloName(string $name): array
{
    return ["hello", $name];
}

function helloSuperLinter(): void
{
    $hello = helloName("Super-Linter");
    echo implode(" ", $hello) . PHP_EOL;
}

function helloOrWorld(): void
{
    $random = rand(0, 10);
    if ($random >= 5) {
        echo "Hello";
    } else {
        echo "World";
    }
}