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 "