2007-07-31 10:21:34 +00:00
< ? php
/**
2007-08-30 10:55:14 +00:00
* Internationalisation file for the Gadgets extension
2007-07-31 10:21:34 +00:00
*
* @ 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
2007-07-31 22:28:30 +00:00
$messages [ 'gadgets-prefs' ] = 'Gadgets' ;
$messages [ 'gadgets-prefstext' ] = ' Below is a list of special gadgets you can enable for your account .
2007-07-31 10:21:34 +00:00
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
2007-07-31 22:28:30 +00:00
by users on your local wiki . Local administrators can edit available gadgets using [[ MediaWiki : Gadgets - definition ]]
2007-07-31 10:21:34 +00:00
and [[ Special : Gadgets ]] . ' ;
#for Special:Gadgets
$messages [ 'gadgets' ] = 'Gadgets' ;
$messages [ 'gadgets-title' ] = 'Gadgets' ;
2007-07-31 22:28:30 +00:00
$messages [ 'gadgets-pagetext' ] = ' Below is a list of special gadgets users can enable on their preferences page , as defined by [[ MediaWiki : Gadgets - definition ]] .
2007-07-31 10:21:34 +00:00
This overview provides easy access to the system message pages that define each gadget\ 's description and code.' ;
$messages [ 'gadgets-uses' ] = 'Uses' ;
2007-12-19 08:08:41 +00:00
$messages [ 'gadgets-definition' ] = '<!-- See http://www.mediawiki.org/wiki/Extension:Gadgets for usage -->' ; # don't translate or duplicate this message to other languages
