<?php function ½($n) { return $n/2; }; var_dump(get_defined_functions()['user']);
You have javascript disabled. You will not be able to edit any code.