mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-23 21:33:25 +00:00
8ec88126dd
Change-Id: I621e8044f7c2a6871ac919211d89513c8fe1e724
14 lines
399 B
JSON
14 lines
399 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Filzstift",
|
|
"Geitost"
|
|
]
|
|
},
|
|
"wikieditor-toolbar-tool-big": "Gross",
|
|
"wikieditor-toolbar-tool-big-example": "Grosser Text",
|
|
"wikieditor-toolbar-tool-newline": "Zeilenumbruch erzwingen (nicht im Fliesstext verwenden)",
|
|
"wikieditor-toolbar-tool-replace-case": "Gross- und Kleinschreibung beachten",
|
|
"wikieditor-toolbar-tool-replace-close": "Schliessen"
|
|
}
|