<?php function testHints(int $x) { var_dump($x); } testHints('10.1231k');
You have javascript disabled. You will not be able to edit any code.