jenkins-bot has submitted this change and it was merged.
Change subject: Some consistency tweaks
......................................................................
Some consistency tweaks
* Remove 'description' key from extension credits
* Rephrase "action-maintenanceshell" message
* Use UTF-8
Change-Id: I1b237b814f9b1892fe6d7fff7483ab0d275bf179
---
M MaintenanceShell.php
M i18n/de-formal.json
M i18n/de.json
M i18n/en.json
4 files changed, 9 insertions(+), 10 deletions(-)
Approvals:
Raimond Spekking: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MaintenanceShell.php b/MaintenanceShell.php
index 0eae33c..443cde7 100644
--- a/MaintenanceShell.php
+++ b/MaintenanceShell.php
@@ -16,7 +16,6 @@
'Timo Tijhof',
),
'url' => 'https://www.mediawiki.org/wiki/Extension:MaintenanceShell',
- 'description' => 'Adds a special page to provide access to maintenance
scripts.',
'descriptionmsg' => 'maintenanceshell-desc',
'version' => '0.5.0',
);
diff --git a/i18n/de-formal.json b/i18n/de-formal.json
index ace58c3..b97d658 100644
--- a/i18n/de-formal.json
+++ b/i18n/de-formal.json
@@ -4,5 +4,5 @@
"kghbln"
]
},
- "maintenanceshell-warning": "'''Achtung:''' Setzen Sie diese Skripte
sorgfältig ein. Dies wird zudem nur Systemadministratoren und
fortgeschrittenen Nutzern empfohlen."
+ "maintenanceshell-warning": "'''Achtung:''' Setzen Sie diese Skripte
sorgfältig ein. Dies wird zudem nur Systemadministratoren und fortgeschrittenen
Nutzern empfohlen."
}
\ No newline at end of file
diff --git a/i18n/de.json b/i18n/de.json
index 6d0aafc..afbe710 100644
--- a/i18n/de.json
+++ b/i18n/de.json
@@ -5,14 +5,14 @@
]
},
"maintenanceshell": "Wartungs-Shell",
- "maintenanceshell-desc": "Ergänzt eine
[[Special:MaintenanceShell|Spezialseite]] mit hilfreichen Links zu
Wartungsskripten für die Systemadministration.",
+ "maintenanceshell-desc": "Ergänzt eine
[[Special:MaintenanceShell|Spezialseite]] mit hilfreichen Links zu
Wartungsskripten für die Systemadministration.",
"maintenanceshell-pagename": "Special:Wartungs-Shell",
- "right-maintenanceshell": "Wartungsskripte über die Wartungs-Shell
ausführen.",
- "maintenanceshell-warning": "'''Achtung:''' Setze diese Skripte
sorgfältig ein. Dies wird zudem nur Systemadministratoren und
fortgeschrittenen Nutzern empfohlen.",
- "maintenanceshell-return": "Rückkehr zur Wartungs-Shell",
+ "right-maintenanceshell": "Wartungsskripte über die Wartungs-Shell
ausführen.",
+ "maintenanceshell-warning": "'''Achtung:''' Setze diese Skripte sorgfältig
ein. Dies wird zudem nur Systemadministratoren und fortgeschrittenen Nutzern
empfohlen.",
+ "maintenanceshell-return": "Rückkehr zur Wartungs-Shell",
"maintenanceshell-noexist": "Das Skript ist nicht vorhanden",
- "maintenanceshell-available": "Verfügbare Wartungsskripte:",
+ "maintenanceshell-available": "Verfügbare Wartungsskripte:",
"maintenanceshell-field-script": "Name des Skrips:",
- "maintenanceshell-commandline": "Zusätzliche Kommandos:",
- "maintenanceshell-field-args": "Skript ausführen"
+ "maintenanceshell-commandline": "Zusätzliche Kommandos:",
+ "maintenanceshell-field-args": "Skript ausführen"
}
\ No newline at end of file
diff --git a/i18n/en.json b/i18n/en.json
index 013011b..15baa1e 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -7,7 +7,7 @@
"maintenanceshell": "Maintenance Shell",
"maintenanceshell-desc": "Wiki interface for maintenance scripts",
"right-maintenanceshell": "Execute maintenance scripts",
- "action-maintenanceshell": "the maintenance shell",
+ "action-maintenanceshell": "execute the maintenance shell",
"maintenanceshell-legend": "Maintenance Shell",
"maintenanceshell-text": "<strong>Warning:</strong> Use these scripts
with care. They are intended for developers only.\n*
[//www.mediawiki.org/wiki/Manual:Maintenance_scripts Manual:Maintenance
scripts]\n* [//www.mediawiki.org/wiki/Extension:MaintenanceShell
Extension:MaintenanceShell]\n",
"maintenanceshell-return": "Return to
[[{{#special:maintenanceshell}}]].",
--
To view, visit https://gerrit.wikimedia.org/r/186631
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1b237b814f9b1892fe6d7fff7483ab0d275bf179
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MaintenanceShell
Gerrit-Branch: master
Gerrit-Owner: Raimond Spekking <[email protected]>
Gerrit-Reviewer: Raimond Spekking <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
