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