<?php function wants_int(int $foo) { var_dump($foo); } wants_int('123test');
You have javascript disabled. You will not be able to edit any code.