--- a/wp/wp-admin/user/admin.php	Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-admin/user/admin.php	Tue Jun 09 03:35:32 2015 +0200
@@ -17,6 +17,13 @@
 }
 
 $redirect_user_admin_request = ( ( $current_blog->domain != $current_site->domain ) || ( $current_blog->path != $current_site->path ) );
+/**
+ * Filter whether to redirect the request to the User Admin in Multisite.
+ *
+ * @since 3.2.0
+ *
+ * @param bool $redirect_user_admin_request Whether the request should be redirected.
+ */
 $redirect_user_admin_request = apply_filters( 'redirect_user_admin_request', $redirect_user_admin_request );
 if ( $redirect_user_admin_request ) {
 	wp_redirect( user_admin_url() );