HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/WikimediaMessages…

Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/WikimediaMessages c4066f5eb1d0f8d80f9bd6add5460fb5c73f935f

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

Details

Committed
Gerrit Code ReviewFeb 24 2015, 4:02 PM
Parents
rMEXT53f7b2a6485c: Updated mediawiki/extensions Project: mediawiki/extensions/TimedMediaHandler…
Branches
Unknown
Tags
Unknown
ChangeId
If33957643ccd26a7cc71d50578708d5a4e1fcafb

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXTf20a1a85395d: Updated mediawiki/extensions Project: mediawiki/extensions/WikimediaMessages… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Feb 24 2015, 4:02 PM