// Fallback to the file as the plugin.
if ( empty( $plugin ) ) { $plugin =
$file;
} } else { $plugin =
array_keys( $plugins );
$plugin =
$plugin[0
];
}}$plugin_files =
get_plugin_files( $plugin );
if ( empty( $file ) ) { $file =
$plugin_files[0
];
}$file =
validate_file_to_edit( $file,
$plugin_files );
$real_file = WP_PLUGIN_DIR . '/' .
$file;
// Handle fallback editing of file when JavaScript is not available.
$edit_error = null;
$posted_content = null;