<?php file_put_contents('/tmp/foo⇒bar.txt', 'hello, world!'); echo file_get_contents('/tmp/foo⇒bar.txt');
You have javascript disabled. You will not be able to edit any code.