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