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.

Version: unspecified
Severity: normal
URL: http://noc.wikimedia.org/conf/CommonSettings.php.html