<div dir="ltr">Hey,<div><br></div><div>For <a href="https://gerrit.wikimedia.org/r/#/c/197357/">https://gerrit.wikimedia.org/r/#/c/197357/</a> I'd like to move some bits of the WikiEditor extension into MediaWiki core, so that we can re-use them in VisualEditor. That would involve moving the 19 wikieditor-toolbar-characters-page-* i18n messages and renaming their keys, while preserving all of their translations. Is this possible? If so, what is the process?</div><div><br></div><div>Thanks,</div><div>Alex<br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div>Alex Monk</div><div>VisualEditor/Editing team</div><div><a href="https://wikimediafoundation.org/wiki/User:Krenair_(WMF)" target="_blank">https://wikimediafoundation.org/wiki/User:Krenair_(WMF)</a></div></div></div>
</div></div>