Changeset 47550 for trunk/src/wp-admin/plugin-editor.php
- Timestamp:
- 04/05/2020 03:00:44 AM (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/wp-admin/plugin-editor.php
r47198 r47550 113 113 $ext = strtolower( $matches[1] ); 114 114 // If extension is not in the acceptable list, skip it. 115 if ( ! in_array( $ext, $editable_extensions ) ) {115 if ( ! in_array( $ext, $editable_extensions, true ) ) { 116 116 wp_die( sprintf( '<p>%s</p>', __( 'Files of this type are not editable.' ) ) ); 117 117 } … … 245 245 $plugin_editable_files = array(); 246 246 foreach ( $plugin_files as $plugin_file ) { 247 if ( preg_match( '/\.([^.]+)$/', $plugin_file, $matches ) && in_array( $matches[1], $editable_extensions ) ) {247 if ( preg_match( '/\.([^.]+)$/', $plugin_file, $matches ) && in_array( $matches[1], $editable_extensions, true ) ) { 248 248 $plugin_editable_files[] = $plugin_file; 249 249 } … … 278 278 <?php if ( is_writeable( $real_file ) ) : ?> 279 279 <div class="editor-notices"> 280 <?php if ( in_array( $plugin, (array) get_option( 'active_plugins', array() ) ) ) { ?>280 <?php if ( in_array( $plugin, (array) get_option( 'active_plugins', array() ), true ) ) { ?> 281 281 <div class="notice notice-warning inline active-plugin-edit-warning"> 282 282 <p><?php _e( '<strong>Warning:</strong> Making changes to active plugins is not recommended.' ); ?></p>
Note: See TracChangeset
for help on using the changeset viewer.