diff -r d255fe9cd479 -r 00ac8f60d73f wp/wp-content/plugins/wp-filemanager/incl/edit.inc.php --- a/wp/wp-content/plugins/wp-filemanager/incl/edit.inc.php Tue Oct 15 15:48:13 2019 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,119 +0,0 @@ -$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"; -?>