mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-04 20:59:22 +00:00
e3133cd73a
Change-Id: If619831144b7e0573262544f2d6965f7a05c6bea
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"
|
|
}
|