--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wp-admin/user/user-edit.php	Mon Nov 19 18:26:13 2012 +0100
@@ -0,0 +1,12 @@
+<?php
+/**
+ * Edit user administration panel.
+ *
+ * @package WordPress
+ * @subpackage Administration
+ * @since 3.1.0
+ */
+
+require_once( './admin.php' );
+
+require( '../user-edit.php' );
\ No newline at end of file