mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-11-15 02:53:52 +00:00
bc302ec277
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php with shim. Change-Id: I040f2542944ca978ab5f603e6a96fdf2eb89fe20
14 lines
1.3 KiB
JSON
14 lines
1.3 KiB
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Imre",
|
|
"Kghbln",
|
|
"Umherirrender"
|
|
]
|
|
},
|
|
"replacetext_docu": "Um einen Text durch einen anderen Text auf allen Inhaltsseiten zu ersetzen, geben Sie hier die beiden Textteile ein und klicken danach auf die „Fortfahren“-Schaltfläche. Auf der dann folgenden Seite erhält man eine Aufzählung der Seiten, die den zu ersetzenden Text enthalten. Dort kann man auch auswählen, auf welchen Seiten die Ersetzungen durchgeführt werden sollen. Ihr Benutzername wird während der Ersetzungen in der Versionsgeschichte aufgenommen.",
|
|
"replacetext_givetarget": "Sie müssen eine Zeichenkette angeben, die ersetzt werden soll.",
|
|
"replacetext_editormove": "Sie müssen mindestens eine Ersetzungsoption wählen.",
|
|
"replacetext_warning": "'''Warnung:''' $1 {{PLURAL:$1|Seite enthält|Seiten enthalten}} bereits den zu ersetzenden Textteil „$2“.\nSofern Sie nun die {{PLURAL:$1|Ersetzung|Ersetzungen}} durchführen, ist eine spätere Unterscheidung zwischen den nunmehr zu ersetzenden und den bereits vorhandenen Textteilen nicht mehr möglich.",
|
|
"replacetext_blankwarning": "'''Warnung:''' Da der zu ersetzende Textteil leer ist, kann die Operation nicht rückgängig gemacht werden. Möchten Sie dennoch fortfahren?"
|
|
} |