diff -r 000000000000 -r d970ebf37754 wp/wp-content/plugins/wp-filemanager/incl/edit.inc.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wp/wp-content/plugins/wp-filemanager/incl/edit.inc.php Wed Nov 06 03:21:17 2013 +0000 @@ -0,0 +1,119 @@ +$StrFileInvalidName"; + } + else if ($fp = @fopen ($home_directory.$wp_fileman_path.stripslashes($_POST['filename']), "wb")) + { + @fwrite($fp, $text); + @fclose($fp); + print "$StrSaveFileSuccess"; + } + else + print "$StrSaveFileFail"; +} +else if ($AllowEdit && isset($_GET['filename'])) +{ + $file_name = explode('.',$_GET['filename']); + if ($file_name[1] == 'js') + { + $file_name[1] = 'javascript'; + } +// wp_enqueue_script('jquery'); +// wp_enqueue_script('codepress'); + +/* + + + +*/ + print "