mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 19:15:43 +00:00
078ec49dd3
Change-Id: Ibe5389ea9bb1b5ffbffad68007a83a2332695d3a
5 lines
71 B
JSON
5 lines
71 B
JSON
{
|
|
"@metadata": [],
|
|
"wikieditor-toolbar-characters-page-ipa": "IPA"
|
|
}
|