手册:$wgNamespacesToBeSearchedDefault
Appearance
| 搜索: $wgNamespacesToBeSearchedDefault | |
|---|---|
| 应该搜索哪些命名空间? |
|
| 引进版本: | 1.1.0前 |
| 移除版本: | 仍在使用 |
| 允许的值: | 参见下方 |
| 默认值: | 参见下方 |
| 其他设置: 按首字母排序 | 按功能排序 | |
细节
此变量保存一个命名空间数组,指示默认情况下启用哪些命名空间进行搜索。 数组的索引是命名空间常量。 默认情况下,不会搜索未添加的命名空间。
默认值
| MediaWiki版本: | ≥ 1.5 |
$wgNamespacesToBeSearchedDefault = [
NS_MAIN => true,
];
| MediaWiki版本: | 1.4 |
$wgNamespacesToBeSearchedDefault = array( -1 => 0, 0 => 1, 1 => 0,
2 => 0, 3 => 0, 4 => 0, 5 => 0, 6 => 0, 7 => 0, 8 => 0, 9 => 0, 10 => 0, 11 => 0 );
| MediaWiki版本: | 1.3 |
$wgNamespacesToBeSearchedDefault = array( -1 => 0, 0 => 1, 1 => 0,
2 => 0, 3 => 0, 4 => 0, 5 => 0, 6 => 0, 7 => 0, 8 => 0, 9 => 1, 10 => 0, 11 => 1 );
| MediaWiki版本: | 1.1 – 1.2 |
$wgNamespacesToBeSearchedDefault = array( -1 => 0, 0 => 1, 1 => 0,
2 => 0, 3 => 0, 4 => 0, 5 => 0, 6 => 0, 7 => 0 );
添加命名空间
要添加其他命名空间,只需将其添加到您的LocalSettings.php文件中,例如,对于项目命名空间:
$wgNamespacesToBeSearchedDefault[NS_PROJECT] = true;
添加/移除命名空间的影响
| MediaWiki版本: | ≥ 1.16 |
在MediaWiki 1.16及更高版本中,添加或删除命名空间将应用于所有用户。
| MediaWiki版本: | ≤ 1.15 |
在MediaWiki 1.15及更早版本中,添加或删除命名空间只会影响匿名用户和更改之后创建的帐户。
| 在core-Namespaces.php中查看维基媒体wiki上此配置设置的值。 |