read()) !== false) { if ( !preg_match('|^\.+$|', $plug_file) && preg_match('|\.php$|', $plug_file) ) $plugin_files[] = "wp-content/plugins/$plug_file"; } } if (count($plugin_files)) { natcasesort($plugin_files); } if (file_exists(ABSPATH . 'my-hacks.php')) { $plugin_files[] = 'my-hacks.php'; } if (empty($file)) { $file = $plugin_files[0]; } $file = validate_file_to_edit($file, $plugin_files); $real_file = get_real_file_to_edit($file); switch($action) { case 'update': if ($user_level < 5) { die(__('

You have do not have sufficient permissions to edit templates for this blog.

')); } $newcontent = stripslashes($_POST['newcontent']); if (is_writeable($real_file)) { $f = fopen($real_file, 'w+'); fwrite($f, $newcontent); fclose($f); header("Location: plugin-editor.php?file=$file&a=te"); } else { header("Location: plugin-editor.php?file=$file"); } exit(); break; default: require_once('admin-header.php'); if ($user_level <= 5) { die(__('

You have do not have sufficient permissions to edit plugins for this blog.

')); } update_recently_edited($file); if (!is_file($real_file)) $error = 1; if (!$error) { $f = fopen($real_file, 'r'); $content = fread($f, filesize($real_file)); $content = htmlspecialchars($content); } ?>

' . sprintf(__('Editing %s'), $file) . ''; } else { echo '

' . sprintf(__('Browsing %s'), $file) . '

'; } ?>

' . __('Oops, no such file exists! Double check the name and try again, merci.') . '

'; } ?>