diff -r d255fe9cd479 -r 00ac8f60d73f wp/wp-content/plugins/wp-filemanager/incl/rename.inc.php
--- a/wp/wp-content/plugins/wp-filemanager/incl/rename.inc.php Tue Oct 15 15:48:13 2019 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,82 +0,0 @@
-$StrFolderInvalidName";
- else if (@file_exists($home_directory.$wp_fileman_path.$new_directory_name))
- print "$StrAlreadyExists";
- else if (@rename($home_directory.$wp_fileman_path.$directory_name, $home_directory.$wp_fileman_path.$new_directory_name))
- print "$StrRenameFolderSuccess";
- else
- {
- print "$StrRenameFolderFail
";
- print $StrRenameFolderFailHelp;
- }
- }
-
- else if (isset($_GET['rename']) && isset($_POST['filename']))
- {
- $filename = stripslashes($_POST['filename']);
- if (!wp_fileman_is_valid_name($new_filename))
- print "$StrFileInvalidName";
- else if (@file_exists($home_directory.$wp_fileman_path.$new_filename))
- print "$StrAlreadyExists";
- else if (@rename($home_directory.$wp_fileman_path.$filename, $home_directory.$wp_fileman_path.$new_filename))
- print "$StrRenameFileSuccess";
- else
- {
- echo $home_directory.$wp_fileman_path.$filename;
- //print rename($home_directory.$wp_fileman_path.$filename, $home_directory.$wp_fileman_path.$new_filename);
- print "$StrRenameFileFail
";
- print $StrRenameFileFailHelp;
- }
- }
-
- else
- {
- print "