mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-24 07:23:30 +00:00
30 lines
1.2 KiB
PHP
30 lines
1.2 KiB
PHP
<?php
|
|
|
|
/**
|
|
* Internationalisation 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']= 'Below is a list of special gadgets you can enable for your account.
|
|
These gadgets are mostly based on JavaScript, so JavaScript has to be enabled in your browser for them to work.
|
|
Note that these gadgets will have no effect on this preferences page.
|
|
|
|
Also note that these special gadgets are not part of the MediaWiki software, and are usually developed and maintained
|
|
by users on your local wiki. Local administrators can edit available gadgets using [[MediaWiki:Gadgets-definition]]
|
|
and [[Special:Gadgets]].';
|
|
|
|
#for Special:Gadgets
|
|
$messages['gadgets'] = 'Gadgets';
|
|
$messages['gadgets-title'] = 'Gadgets';
|
|
$messages['gadgets-pagetext'] = 'Below is a list of special gadgets users can enable on their preferences page, as defined by [[MediaWiki:Gadgets-definition]].
|
|
This overview provides easy access to the system message pages that define each gadget\'s description and code.';
|
|
$messages['gadgets-uses'] = 'Uses';
|
|
?>
|