--- a/wp/wp-admin/user/admin.php	Tue Jun 09 11:14:17 2015 +0000
+++ b/wp/wp-admin/user/admin.php	Mon Oct 14 17:39:30 2019 +0200
@@ -18,7 +18,7 @@
 
 $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.
+ * Filters whether to redirect the request to the User Admin in Multisite.
  *
  * @since 3.2.0
  *