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 ""; + print ""; + print ""; + print ""; + print ""; + print ""; + print ""; + print ""; + print "
"; + print " $StrEditing \"".htmlentities($filename)."\""; + print ""; + print "$StrBack"; + print "
"; + + print "

"; + + if ($fp = @fopen($home_directory.$wp_fileman_path.$filename, "rb")) + { + print "
"; +// print ""; + //print "Code Editor"; + print "\n"; + + print "

"; + print "$StrFilename "; + + print "

"; + print " "; + + print ""; + print "
"; + } + else + print "$StrErrorOpeningFile"; + + print "

"; + + print "
"; +} +else + print "$StrAccessDenied"; +?>