Renaming keys

Thread summary:[Link to] [Edit]

CLOSED This issue is closed by Nemo_bis

I'd like to rename some keys we added to core, with the string userExpLevel. They accidentally do not fit the convention (which says, lower-case, no CamelCase). On master of MediaWiki core, the desired rename is:

rcfilters-filter-userExpLevel-newcomer-label => rcfilters-filter-user-experience-level-newcomer-label
rcfilters-filter-userExpLevel-newcomer-description => rcfilters-filter-user-experience-level-newcomer-description
rcfilters-filter-userExpLevel-learner-label => rcfilters-filter-user-experience-level-learner-label
rcfilters-filter-userExpLevel-learner-description => rcfilters-filter-user-experience-level-learner-description
rcfilters-filter-userExpLevel-experienced-label => rcfilters-filter-user-experience-level-experienced-label
rcfilters-filter-userExpLevel-experienced-description => rcfilters-filter-user-experience-level-experienced-description

Should I do it? If so, in all the files, or just en and qqq? Or is this something the TranslateWiki.net team could do?

Thank you.

Mattflaschen (talk)‎

I confirm mw:Localisation#Changing existing messages: just go ahead. Thanks for caring.

Nemo (talk)‎

Thank you. I wasn't sure if the same advice applied if it wasn't a "old translations are not suitable for the new meaning" situation.

Mattflaschen (talk)‎