mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-24 07:23:30 +00:00
3f1a24c937
Patches by Shinjiman
29 lines
1.3 KiB
PHP
29 lines
1.3 KiB
PHP
<?php
|
|
|
|
/**
|
|
* Internationalisation file for the Gadgets extension
|
|
*
|
|
* @package MediaWiki
|
|
* @subpackage Extensions
|
|
* @author Daniel Kinzler, brightbyte.de
|
|
* @copyright © 2007 Daniel Kinzler, Siebrand Mazeland
|
|
* @licence GNU General Public Licence 2.0 or later
|
|
*/
|
|
|
|
#for Special:Preferences
|
|
$messages['gadgets-prefs']= 'Gadgets';
|
|
$messages['gadgets-prefstext']= 'Hieronder staat de speciale gadgets die u voor uw gebruiker kunt inschakelen.
|
|
De gadgets zijn voornamelijk gebaseerd op JavaScript, dus JavaScript moet voor uw browser zijn ingeschakeld om ze te laten werken.
|
|
De gadget hebben geen invloed op deze pagina met voorkeuren.
|
|
|
|
Deze speciale gadgets zijn ook geen onderdeel van de MediaWiki-software, en ze worden meestal ontwikkeld en onderhouden
|
|
door gebruikers van uw lokale wiki. Lokale beheerders kunnen de beschikbare gadgets aangeven in [[MediaWiki:Gadgets-definition]]
|
|
en [[Special:Gadgets]].';
|
|
|
|
#for Special:Gadgets
|
|
$messages['gadgets'] = 'Gadgets';
|
|
$messages['gadgets-title'] = 'Gadgets';
|
|
$messages['gadgets-pagetext'] = 'Hieronder staan de speciale gadgets die gebruikers kunnen inschakelen via hun voorkeuren, zoals ingesteld in [[MediaWiki:Gadgets-definition]].
|
|
Dit overzicht biedt eenvoudige toegang tot de systeemtekstpagina waar de beschrijving en de code van ieder gadget staat.';
|
|
$messages['gadgets-uses'] = 'Gebruik';
|