본문 바로가기
미디어위키

Manual $wgExtraNamespaces

by 다움위키 2023. 12. 31.
Namespaces: $wgExtraNamespaces
Additional namespaces.
Introduced in version: 1.3.3
Removed in version: still in use
Allowed values: (array)
Default value: []
Other settings: Alphabetical | By function

Details

$wgExtraNamespaces는 위키에 대한 추가, 사용자-지정 이름공간을 구성합니다. 그것은 역시 기본 이름공간의 이름을 바꾸기 위해 사용될 수도 있습니다.

이것은 Manual:Using custom namespaces에서 자세히 다루어집니다.

확장이 새로 생성된 사용자-지정 이름공간에서 작동해야 하는 경우에서, 관련 확장을 호출하기 전에 그것들을 정의하고 이름을 지정해야 합니다.

확장은 이 설정을 사용해서는 안 되며, 대신 그것들은 CanonicalNamespaces 후크를 사용하거나 extension.json을 통해 이름공간을 로드해야 합니다 (MW 1.26+, Gerrit change 234146).

See also

  • Namespace IDs used by extensions – 이름공간 충돌을 방지하기 위해 반드시 피해야 하는 이름공간 ID 목록을 표시하므로 이론적으로 100이 가능하지만 첫 번째 사용자 지정 이름공간은 ID 110에서도 충돌이 발생할 수 있습니다. 이름공간 충돌을 피하기 위해 3000에서 시작하는 ID로 사용자-정의 이름공간을 정의하는 것이 좋습니다.
  • $wgExtraGenderNamespaces
  • $wgNamespaceAliases