--- a/wp/wp-content/plugins/wp-filemanager/incl/header.inc.php	Tue Oct 15 15:48:13 2019 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-<?php
-if ( ! defined( 'ABSPATH' ) )
-	die();
-$base_url = "?page=" . htmlentities(rawurlencode($_GET['page']));
-?>
\ No newline at end of file