mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-18 11:01:36 +00:00
501a982ed4
Change-Id: Iebfc58f134b834996941dbb316ceccf5fde111bb
15 lines
477 B
JSON
15 lines
477 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Filzstift",
|
|
"Geitost"
|
|
]
|
|
},
|
|
"wikieditor-toolbar-tool-reference-example": "Fussnotentext hier einfügen",
|
|
"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"
|
|
}
|