Files_texteditor: Allow editing of .php .js and .pl files