mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-15 12:00:05 +00:00
16 lines
625 B
JSON
16 lines
625 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Filzstift",
|
|
"Geitost"
|
|
]
|
|
},
|
|
"wikieditor-toolbar-dialogs-preference": "Assistenten zum Einfügen von Links und Tabellen sowie die Funktion «Suchen und Ersetzen» aktivieren",
|
|
"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"
|
|
}
|