Filters the list of file types allowed for editing in the theme file editor.

$file_types = apply_filters( 'wp_theme_editor_filetypes', $default_types, $theme );