<?php var_export(INF); echo "\n";
You have javascript disabled. You will not be able to edit any code.