mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-09-23 18:30:16 +00:00
2a925620c2
* Add special page group
23 lines
319 B
PHP
23 lines
319 B
PHP
<?php
|
|
/**
|
|
* Aliases for Special:Gadgets
|
|
*
|
|
* @addtogroup Extensions
|
|
*/
|
|
|
|
$aliases = array();
|
|
|
|
/** English
|
|
* @author Daniel Kinzler, brightbyte.de
|
|
*/
|
|
$aliases['en'] = array(
|
|
'Gadgets' => array( 'Gadgets' ),
|
|
);
|
|
|
|
/** German
|
|
* @author Raimond Spekking
|
|
*/
|
|
$aliases['de'] = array(
|
|
'Gadgets' => array( 'Gadgets' ),
|
|
);
|