Manual:$wgNamespaceAliases/ja
From MediaWiki.org
| 名前空間: $wgNamespaceAliases | |
|---|---|
| 名前空間に対して追加の名前を提供する |
|
| 導入されたバージョン: | 1.10.0(r21720) |
| 削除されたバージョン: | 使用中 |
| 可能な値: | 文字列の配列 |
| デフォルトの値: | array() |
[edit] 詳細
現地語化した本来の名前空間名($wgExtraNamespaces と言語ファイルによって定義)に対して、別名を設定します。あるページがこの接頭辞付きで要求されると、本来の名前にリダイレクトします。
名前空間名からIDへの対応付け(マップ)は次のように設定します。例:
$wgNamespaceAliases = array( 'Wikipedian' => NS_USER, 'Help' => 100 );
一つだけ別名を追加するには
$wgNamespaceAliases['WP'] = NS_PROJECT;
注: Prior to Mediawiki 1.17, it was impossible to make an alias to NS_MAIN
[edit] 名前空間でスペースを使わない
名前空間名にはスペース(空白)の代わりにアンダーライン(_)(アンダースコア)を使ってください。'My Namespace' は無効な名前です。代わりに 'My_Namespace' を使います。
[edit] 関連項目
- Manual:Using custom namespaces/ja - カスタム名前空間の使い方
| 言語: | English • Deutsch • Français • 日本語 • Polski |
|---|