<?php function foo(s: string) { echo $s; } foo(10);
You have javascript disabled. You will not be able to edit any code.