<?php echo(file_get_contents('/tmp/greetings.txt')); var_dump(glob('/tmp/*'));
You have javascript disabled. You will not be able to edit any code.