Manual:$wgExtraNamespaces/ja
From MediaWiki.org
| 名前空間: $wgExtraNamespaces | |
|---|---|
| 追加の名前空間。 |
|
| 導入されたバージョン: | 1.3.3 |
| 削除されたバージョン: | 使用中 |
| 可能な値: | array |
| デフォルトの値: | NULL |
詳細[edit]
$wgExtraNamespacesは追加とカスタムの名前空間を構成するために使用されます。It can also be used to rename the default namespaces.
詳細についてはManual:Using custom namespaces/jaでカバーされています。0 から 99 の ID は予約されているので (そして、マイナスの ID は特別な意味を持っているので) 最初のカスタムの名前空間は、100 の ID を使用すべきである事に注意してください。名前空間の ID の最大値は、いくつかの MediaWiki の古いバージョン (pre-1.5) では 255 でしたが、現行リリースの全てにおいては、16 ビット (-32768 から 32767 まで) の名前空間番号がサポートされています。
名前空間を定義するか、あるいは名前空間の名前を空白文字を含んでいる何かに設定するときには、その内容にかかわらずアンダーラインを使うべきです。 例えば、 'My Namespace' や 'My Namespace Talk' は無効な名前であり、それは多くの問題を起こすかもしれません。その代わりに、名前空間定義で 'My_Namespace' や 'My_Namespace_Talk' を使用してください。
例[edit]
Wiki に 名前空間 'portal' を加えるためには、2つの新しい名前空間 (一つは portal ページで、もう一つは関連した talk ページ) を作成する必要があります。:
define("NS_FOO", 100); define("NS_FOO_TALK", 101); $wgExtraNamespaces[NS_FOO] = "Foo"; $wgExtraNamespaces[NS_FOO_TALK] = "Foo_talk";
関連項目[edit]
- Namespace IDs used by extensions – Shows you a list of namespace IDs you should definitely avoid to prevent namespace conflicts, thus the first custom namespace may encounter conflicts even at ID 110 though 100 is theoretically possible.
- Manual:$wgExtraGenderNamespaces/ja
| 言語: | English • Deutsch • 日本語 • polski |
|---|