Manual:$wgExtraNamespaces/ja
From MediaWiki.org
| 名前空間: $wgExtraNamespaces | |
|---|---|
| 追加の名前空間。 |
|
| 導入されたバージョン: | 1.3.3 |
| 削除されたバージョン: | 使用中 |
| 可能な値: | array |
| デフォルトの値: | NULL |
[edit] 詳細
$wgExtraNamespacesは追加とカスタムの名前空間を構成するために使用されます。
詳細についてはManual:Using custom namespaces/jaでカバーされています。0 から 99 の ID は予約されているので (そして、マイナスの ID は特別な意味を持っているので) 最初のカスタムの名前空間は、100 の ID を使用すべきである事に注意してください。名前空間の ID の最大値は、いくつかの MediaWiki の古いバージョン (pre-1.5) では 255 でしたが、現行リリースの全てにおいては、16 ビットの名前空間番号がサポートされています。
注: 名前空間を定義するか、あるいは名前空間の名前を空白文字を含んでいる何かに設定するときには、その内容にかかわらずアンダーラインを使うべきです。 例えば、 'My Namespace' は無効な名前であり、それは多くの問題を起こすかもしれません。その代わりに、名前空間定義で 'My_Namespace' を使用してください。
[edit] 用例
Wiki に 名前空間 'portal' を加えるためには、2つの新しい名前空間 (一つは portal ページで、もう一つは関連した talk ページ) を作成する必要があります。:
$wgExtraNamespaces = array(100 => "Portal", 101 => "Portal_talk");
| 言語: | English • Deutsch • 日本語 • Polski |
|---|