mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-02 20:06:49 +00:00
d0a98d005d
Change-Id: I8695ddb54908c29ad06ebe75af05e02a930a4679
16 lines
440 B
JSON
16 lines
440 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Antho201723",
|
|
"Jumpy01"
|
|
]
|
|
},
|
|
"wikieditor-toolbar-tool-bold": "Grassettu",
|
|
"wikieditor-toolbar-tool-heading-1": "Livellu 1",
|
|
"wikieditor-toolbar-tool-heading-2": "Livellu 2",
|
|
"wikieditor-toolbar-tool-heading-3": "Livellu 3",
|
|
"wikieditor-toolbar-tool-heading-4": "Livellu 4",
|
|
"wikieditor-toolbar-tool-heading-5": "Livellu 5",
|
|
"wikieditor-toolbar-help-content-bold-description": "Grassettu"
|
|
}
|