Did this already!

diff --git a/includes/SpecialUserrights.php b/includes/SpecialUserrights.php
index 5439314..349009d 100644 (file)
--- a/includes/SpecialUserrights.php
+++ b/includes/SpecialUserrights.php
@@ -4,8 +4,6 @@
  * Special page to allow managing user group membership
  *
  * @addtogroup SpecialPage
- * @todo Use checkboxes or something, this list thing is incomprehensible to
- *   normal human beings.
  */
 
 /**