mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-15 03:23:51 +00:00
e6b8b57d9b
Register the "Gadget", "Gadget definition", and their respective talk namespaces. It will not be possible to create any pages in the Gadget and Gadget definition namespaces due to the "gadgets-edit" and "gadgets- definition-edit" rights not being granted to any groups. Depends on Iaf8b44d02adf9 in MediaWiki core. Change-Id: Ia88c774cc0decc252a4a4277d14822048db95801
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',
|
|
);
|