HomePhabricator

Standardize the name of interface editor group

Authored by Glaisher.

Description

Standardize the name of interface editor group

Change all 'interface_editor', 'interface_editors' & 'editinterface'
groups to 'interface-editor' group.

Wikis affected:
*ckbwiki
*elwiktionary
*hewiki
*jawiki
*ptwiki

Please run migrateUserGroup.php after merge. Use 'editinterface'
for oldgroup at hewiki and 'interface_editor' at other wikis.

Requires i18n change If33957643 in WikimediaMessages.

Bug: T85731
Change-Id: I35334f38ec3eb99a435930714f2ede99703fa4f9