Last modified: 2008-05-19 17:12:03 UTC
In CommonSettings.php, $wmgExtraImplicitGroups is merged with "$wgImplicitGroups + $wmgExtraImplicitGroups", but these two arrays have numeric keys, and the + operator doesn't work as expected. array_merge( $wgImplicitGroups, $wmgExtraImplicitGroups ) should be used instead.
See for example http://fr.wikipedia.org/wiki/Special:Liste_des_utilisateurs and click on the group select, the autopatrolled group still appears there despite being in $wmgExtraImplicitGroups.
Thanks, done. :)