mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-15 03:23:51 +00:00
18 lines
456 B
PHP
18 lines
456 B
PHP
|
<?php
|
||
|
|
$namespaceNames = array();
|
||
|
|
|
||
|
|
// For wikis without Gadgets installed.
|
||
|
|
if ( !defined( 'NS_GADGET' ) ) {
|
||
|
|
define( 'NS_GADGET', 2300 );
|
||
|
|
define( 'NS_GADGET_TALK', 2301 );
|
||
|
|
define( 'NS_GADGET_DEFINITION', 2302 );
|
||
|
|
define( 'NS_GADGET_DEFINITION_TALK', 2303 );
|
||
|
|
}
|
||
|
|
|
||
|
|
$namespaceNames['en'] = array(
|
||
|
|
NS_GADGET => 'Gadget',
|
||
|
|
NS_GADGET_TALK => 'Gadget_talk',
|
||
|
|
NS_GADGET_DEFINITION => 'Gadget_definition',
|
||
|
|
NS_GADGET_DEFINITION_TALK => 'Gadget_definition_talk',
|
||
|
|
);
|