', __('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('
%s
', __('Files of this type are not editable.')));
}
}
get_current_screen()->add_help_tab( array(
'id' => 'overview',
'title' => __('Overview'),
'content' =>
'
' . __('You can use the editor to make changes to any of your plugins’ individual PHP files. Be aware that if you make changes, plugins updates will overwrite your customizations.') . '
' .
'
' . __('Choose a plugin to edit from the dropdown menu and click the Select button. Click once on any file name to load it in the editor, and make your changes. Don’t forget to save your changes (Update File) when you’re finished.') . '
' .
'
' . __('The Documentation menu below the editor lists the PHP functions recognized in the plugin file. Clicking Look Up takes you to a web page about that particular function.') . '
' .
'
' . __( 'When using a keyboard to navigate:' ) . '
' .
'
' .
'
' . __( 'In the editing area, the Tab key enters a tab character.' ) . '
' .
'
' . __( 'To move away from this area, press the Esc key followed by the Tab key.' ) . '
' .
'
' . __( 'Screen reader users: when in forms mode, you may need to press the Esc key twice.' ) . '
' .
'
' .
'
' . __('If you want to make changes but don’t want them to be overwritten when the plugin is updated, you may be ready to think about writing your own plugin. For information on how to edit plugins, write your own from scratch, or just better understand their anatomy, check out the links below.') . '
' .
( is_network_admin() ? '
' . __('Any edits to files from this screen will be reflected on all sites in the network.') . '