<?php use int as I; function foo(I $v) {}
You have javascript disabled. You will not be able to edit any code.