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