This is an error 404
There are `0` results
preferences:
137 ms | 1426 KiB | 7 Q<?php
namespace Foo {
use function random_int;
var_dump(random_int(1, 100));
var_dump(\random_int(1, 100));
function random_int(int $min, int $max) : int
{
return 4;
}
}