HomePhabricator

Standardize the name of interface editor groups

Authored by Glaisher.

Description

Standardize the name of interface editor groups

  • Removed 'editinterface' and 'interface_editor'
  • Added 'interface-editor' and 'global-interface-editor'

See also I35334f38ec3 in mediawiki-config.

Bug: T85731
Change-Id: If33957643ccd26a7cc71d50578708d5a4e1fcafb
(cherry picked from commit 2fe0147241b5efa6ec6a36b16a9f3d7c1ddd792e)

Details

Committed
demonFeb 24 2015, 4:02 PM
Parents
rEWME9a1d73eb1eed: Creating new wmf/1.25wmf18 branch
Branches
Unknown
Tags
Unknown
References
refs/changes/57/192557/1
ChangeId
If33957643ccd26a7cc71d50578708d5a4e1fcafb