Changeset 25534
- Timestamp:
- 09/20/2013 11:17:59 PM (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/wp-admin/plugin-editor.php
r23580 r25534 95 95 // List of allowable extensions 96 96 $editable_extensions = array('php', 'txt', 'text', 'js', 'css', 'html', 'htm', 'xml', 'inc', 'include'); 97 $editable_extensions = (array) apply_filters('editable_extensions', $editable_extensions); 97 98 /** 99 * Filter file type extensions editable in the plugin editor. 100 * 101 * @since 2.8.0 102 * 103 * @param array $editable_extensions An array of editable plugin file extensions. 104 */ 105 $editable_extensions = (array) apply_filters( 'editable_extensions', $editable_extensions ); 98 106 99 107 if ( ! is_file($real_file) ) {
Note: See TracChangeset
for help on using the changeset viewer.