Last modified: 2011-11-22 17:41:31 UTC
http://noc.wikimedia.org/conf/highlight.php?file=InitialiseSettings.php knows two identical user groups with inconsistent names: 'elwiktionary' => 'interface_editors' 'hiwiki' => 'interface_editor' 'jawiki' => 'interface_editor' I suggest to change 'elwiktionary' to 'interface_editor' (singular) for consistency reasons.
NB, will need a database update to move people into the new/proper group Shouldn't be a big issue though I'd guess
(In reply to comment #1) > NB, will need a database update to move people into the new/proper group > > Shouldn't be a big issue though I'd guess Hah, or not: mysql> select * from user_groups where ug_group = 'interface_editors'; Empty set (0.01 sec)
Done
