+ exit;
+ }
+
+ // List of allowable extensions
+ $editable_extensions = array('php', 'txt', 'text', 'js', 'css', 'html', 'htm', 'xml', 'inc', 'include');
+ $editable_extensions = (array) apply_filters('editable_extensions', $editable_extensions);
+
+ if ( ! is_file($real_file) ) {
+ wp_die(sprintf('<p>%s</p>', __('No such file exists! Double check the name and try again.')));
+ } else {
+ // Get the extension of the file
+ if ( preg_match('/\.([^.]+)$/', $real_file, $matches) ) {
+ $ext = strtolower($matches[1]);
+ // If extension is not in the acceptable list, skip it
+ if ( !in_array( $ext, $editable_extensions) )
+ wp_die(sprintf('<p>%s</p>', __('Files of this type are not editable.')));
+ }