Set default <?php in the text area to restore syntax highlighting, fixes #10