diff -r d255fe9cd479 -r 00ac8f60d73f wp/wp-content/plugins/wp-filemanager/incl/delete.inc.php
--- a/wp/wp-content/plugins/wp-filemanager/incl/delete.inc.php Tue Oct 15 15:48:13 2019 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,83 +0,0 @@
-$StrFolderInvalidName";
- else if (!file_exists($home_directory.$wp_fileman_path.$directory_name))
- print "$StrDeleteFolderNotFound";
- else if (wp_fileman_remove_directory($home_directory.$wp_fileman_path.$directory_name) && @rmdir($home_directory.$wp_fileman_path.$directory_name))
- print "$StrDeleteFolderSuccess";
- else
- {
- print "$StrDeleteFolderFail
";
- print $StrDeleteFolderFailHelp;
- }
- }
-
- else if (isset($_GET['delete']) && isset($_GET['filename']))
- {
- if ($_GET['filename'] == ".." || ($_GET['filename'] == "."))
- print "$StrFileInvalidName";
- else if (!file_exists($home_directory.$wp_fileman_path.$filename))
- print "$StrDeleteFileNotFound";
- else if (@unlink($home_directory.$wp_fileman_path.$filename))
- print "$StrDeleteFileSuccess";
- else
- {
- print "$StrDeleteFileFail
";
- print $StrDeleteFileFailHelp;
- }
- }
-
- else
- {
- print "
"; - if (isset($_GET['directory_name'])) print " $StrDeleteFolder \"".htmlentities(basename($directory_name))."\"?"; - else if (isset($_GET['filename'])) print " $StrDeleteFile \"".htmlentities($filename)."\"?"; - print " | "; - print "";
- print "![]() | ";
- print "
";
-
- print " "; - - if (isset($_GET['directory_name'])) - { - print "$StrDeleteFolderQuestion "; - print "/".htmlentities($wp_fileman_path.$directory_name); - } - else if (isset($_GET['filename'])) - { - print "$StrDeleteFileQuestion "; - print "/".htmlentities($wp_fileman_path.$filename); - } - - print " "; - - if (isset($_GET['directory_name'])) print "$StrYes"; - else if (isset($_GET['filename'])) print "$StrYes"; - print " $StrOr "; - print "$StrCancel"; - - print " | ";
- print "