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