<?php define('strict_types', 1); function hello(string $s) : int { echo "$s\n"; return 42; } $i = hello(1234); echo $i;
You have javascript disabled. You will not be able to edit any code.