diff -r d255fe9cd479 -r 00ac8f60d73f wp/wp-content/plugins/wp-filemanager/incl/libfile.php
--- a/wp/wp-content/plugins/wp-filemanager/incl/libfile.php	Tue Oct 15 15:48:13 2019 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,75 +0,0 @@
-<?php 
-die()
-//Code kept just for reference
-#if ( ! defined( 'ABSPATH' ) )
-#	die();
-//echo defined('WP_CONTENT_DIR');
-//if (defined(WP_CONTENT_DIR))
-//{
-//	include_once(WP_CONTENT_DIR . "/plugins/wp-filemanager/fm.php");
-//}
-/*
-echo "Hello";
-if (!@include_once("auth.inc.php"))
- include_once("auth.inc.php");
-include("../conf/config.inc.php");
-include("./functions.inc.php");
-include("../lang/$language.inc.php");
-//echo "Download : " . $AllowDownload; 
-//if (function_exists('get_option'))
-//{
-//	echo "Exists";
-//}
-//else
-//{
-//	echo "Sorry";
-//}
-if (isset($_GET['action']) && $_GET['action'] == "download")
-{
-    session_cache_limiter("public, post-check=50");
-    header("Cache-Control: private");
-}
-if (isset($session_save_path)) session_save_path($session_save_path);
-
-if (isset($_GET['path'])) $wp_fileman_path = validate_path($_GET['path']);
-if (!isset($wp_fileman_path)) $wp_fileman_path = FALSE;
-if ($wp_fileman_path == "./" || $wp_fileman_path == ".\\" || $wp_fileman_path == "/" || $wp_fileman_path == "\\") $wp_fileman_path = FALSE;
-if (isset($_GET['filename'])) $filename = basename(stripslashes($_GET['filename']));
-/*echo "<pre>";
-print_r($_GET); 
-echo "</pre>";*/
-/*if ($AllowDownload || $AllowView)
-{
-//echo "Download Allowed";
-/* if (is_file("../../../" . $home_directory . $wp_fileman_path.$filename))
- {
-	echo "File Found";
- }
- else
- {
-	echo "Path : " . $home_directory . " & ".$wp_fileman_path . " & " .$filename;
- }
- */
- /*if (isset($_GET['filename']) && isset($_GET['action']) && is_file($home_directory.$wp_fileman_path.$filename) || is_file("../../../".$home_directory.$wp_fileman_path.$filename))
- {
-// echo "file found";
-	if (is_file($home_directory.$wp_fileman_path.$filename) && !strstr($home_directory, "./") && !strstr($home_directory, ".\\"))
-   $fullpath = $home_directory.$wp_fileman_path.$filename;
-  else if (is_file("../../../".$home_directory.$wp_fileman_path.$filename))
-   $fullpath = "../../../".$home_directory.$wp_fileman_path.$filename;
-//echo $fullpath;
-  if (!$AllowDownload && $AllowView && !is_viewable_file($filename))
-  {
-   print "<font color='#CC0000'>$StrAccessDenied</font>";
-   exit();
-  }
-  header("Content-Type: ".get_mimetype($filename));
-  header("Content-Length: ".filesize($fullpath));
-  if ($_GET['action'] == "download");
-   header("Content-Disposition: attachment; filename=$filename");
-  readfile($fullpath);
- }
- else
-  print "<font color='#CC0000'>$StrDownloadFail</font>";
-}*/
-?>
\ No newline at end of file