<?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; } }
You have javascript disabled. You will not be able to edit any code.