Manual:$wgSpecialPageGroups
From MediaWiki.org
 |
この機能はバージョン 1.26.0 で完全に除去されました。 |
| Special pages: $wgSpecialPageGroups | |
|---|---|
| List of special pages, followed by what subtitle they should go under at Special:SpecialPages. |
|
| 導入されたバージョン: | 1.13.0 (r34070) |
| 廃止予定になったバージョン: | 1.21.0 (Gerrit #I1de3a1; git #96a5486e) |
| 除去されたバージョン: | 1.26.0 (Gerrit #I1aa8f9; git #c81540d7) |
| 可能な値: | (配列) |
| 既定値: | 下記参照 |
| 他の設定: アルファベット順 | 機能順 | |
代替[edit]
Developer should set the special page group by overriding SpecialPage::getGroupName since gerrit:41587. Wiki admins can override system message specialpages-group-<lowercase specialpage name>.
関連項目[edit]
Categories:
- MediaWiki configuration settings/ja
- MediaWiki configuration settings 1.13.0/ja
- MediaWiki configuration settings introduced in version 1.13.0/ja
- MediaWiki configuration settings deprecated in version 1.21.0/ja
- MediaWiki configuration settings removed in version 1.26.0/ja
- MediaWiki Deprecated or obsolete features/ja
