mediawiki/namespace-manager

MediaWiki 的命名空间管理器

安装: 139

依赖: 0

建议者: 0

安全性: 0

星标: 2

关注者: 3

分支: 0

开放问题: 0

类型:mediawiki-extension

2.2.0 2022-03-17 18:41 UTC

This package is auto-updated.

Last update: 2024-09-18 00:32:24 UTC


README

NamespaceManager

此模块提供了一个集中管理所有与命名空间相关的变量配置的地方。

添加设置

我建议您使用维护脚本 dumpNSInfo.php 来添加设置,以找到您想要管理的当前设置。这将帮助您确定如何在扩展中使用它们。

例如,我想通过 searchWeight 键来管理 $wgCirrusSearchNamespaceWeights。首先,我在 dumpNSInfo.php 中的循环末尾写入以下代码:<syntaxhightlight lang="php"> if ( isset( $wgCirrusSearchNamespaceWeights ) ) { $nsConf->$name->searchWeight = null; if ( isset( $wgCirrusSearchNamespaceWeights[$const] ) ) { $nsConf->$name->searchWeight = $wgCirrusSearchNamespaceWeights[$const]; } } &lt;/syntaxhighlight&gt;</syntaxhightlight>

最初的 if( isset(… 检查确认确实有一个我们可以调整的变量。这需要,因为可能有人使用此扩展而没有安装 CirrusSearch。

下一行将 ns 的值设置为 null 作为默认值。在相应的加载代码中,如果此变量的配置为 null,我们将跳过设置。

第二个 if( isset(… 检查此命名空间是否有设置。如果有,则将值赋予 searchWeight 键。