mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-30 18:14:21 +00:00
31 lines
1.4 KiB
PHP
31 lines
1.4 KiB
PHP
<?php
|
|
|
|
/**
|
|
* German iternationalisation file for the Gadgets extension
|
|
*
|
|
* @package MediaWiki
|
|
* @subpackage Extensions
|
|
* @author Daniel Kinzler, brightbyte.de
|
|
* @copyright © 2007 Daniel Kinzler
|
|
* @licence GNU General Public Licence 2.0 or later
|
|
*/
|
|
|
|
#for Special:Preferences
|
|
$messages['gadgets-prefs']= 'Gadgets';
|
|
$messages['gadgets-prefstext']= 'Liste von speziellen Gadgets die für jeden Benutzer aktiviert werden können.
|
|
Die Gadgets basieren zumeinst auf JavaScript, daher muss JavaScript im Browser aktiviert sein, damit sie funktionieren.
|
|
Die Gadgets funktionieren allerdings nicht auf dieser Seite mit persönlichen Einstellungen.
|
|
|
|
Ausserdem ist zu beachten, dass diese Gadgets im Allgemeinen nicht Teil von MediaWiki sind, sondern meist von
|
|
Benutzern des lokalen Wikis entwickelt und gewartet werden. Lokale Wiki-Administratoren können die Liste von
|
|
verfügbaren Gadgets über die Seiten [[MediaWiki:Gadgets-definition]] und [[Special:Gadgets]] bearbeiten';
|
|
|
|
#for Special:Gadgets
|
|
$messages['gadgets'] = 'Gadgets';
|
|
$messages['gadgets-title'] = 'Gadgets';
|
|
$messages['gadgets-pagetext'] = 'Liste von speziellen Gadgets, die für jeden Benutzer verfügbar sind, wie in [[MediaWiki:Gadgets-definition]] definiert.
|
|
Diese Übersicht bietet direkten Zugang zu den Systemnachrichten, die die Beschreibung sowie den Programmcode jedes
|
|
Gadgets enthalten.';
|
|
$messages['gadgets-uses'] = 'Benutzt';
|
|
?>
|