--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wp/wp-content/plugins/wp-filemanager/incl/header.inc.php	Wed Nov 06 03:21:17 2013 +0000
@@ -0,0 +1,5 @@
+<?php
+if ( ! defined( 'ABSPATH' ) )
+	die();
+$base_url = "?page=" . htmlentities(rawurlencode($_GET['page']));
+?>
\ No newline at end of file