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