Manual:インターフェイス/Gadgets-definition
このページでは、システム メッセージ (MediaWiki インターフェイスの構成要素を定義しているウィキページ) について記述しています。 既定の説明文も参照してください。 |
MediaWiki:Gadgets-definition is the page which defines the gadgets available to users at ガジェット, a tab in Special:Preferences provided by Extension:Gadgets . 詳細は Extension:Gadgets を参照してください。
Format
MediaWiki:Gadgets-definition ページの各行の先頭に、「*」(アスタリスク)を入力することでガジェットを定義できます。各行の書式は以下の通りです。
* mygadget [オプション] | ページ名
最初のフィールド(例では「mygadget」)は、ガジェットの内部名です。個人設定ページにおけるガジェットの名称はインターフェースのメッセージページ(例では「MediaWiki:Gadget-mygadget」)に格納されています。ここではガジェットの名前と短い説明を書くことができ、ウィキテキストでマークアップすることもできます。
[A-Za-z]
)で始まり、かつ基本的なラテン文字、任意の数字([0-9]
)、ハイフン(-
)、アンダースコア(_
)、およびピリオド(.
)のみで構成されていなければなりません。 このような制限がある理由は、内部名はHTMlのフォーム名、MediaWikiのインターフェースのメッセージキー、およびResourceLoaderのモジュール名のいずれでも有効な名称でなくてはならないからです。オプションの書式:
[ResourceLoader | オプション1 | オプション2 | ... オプションN]
ResourceLoaderフラグは、ガジェットにスタイル以外の要素を含むなら必須です。 Options that are "flags" only need to have their name written to be turned on. Options that need a value are followed by an equals sign and a comma-separated list of values. All whitespace is optional and may be omitted.
[ResourceLoader | myflag | mykey = value1, value2, value3 ]
例:
* mygadget[ResourceLoader]|mygadget.js|mygadget.css
または
* mygadget[ResourceLoader|package]| mygadget.js | mygadget-Foo.js | mygadget-data.json | mygadget.css
または
* mygadget[ ResourceLoader | rights=foo, bar ] | mygadget.js | mygadget.css
節
Gadgets-definition can contain sections, but no distinction is made between different levels of headings. Headings are not used directly for display, but instead refer to a MediaWiki message for that section heading beginning with MediaWiki:Gadget-section-. So ==LanguageSupport== refers to MediaWiki:Gadget-section-LanguageSupport, and the content of that message (or of the localized subpages, MediaWiki:Gadget-section-LanguageSupport/ja etc.) will be displayed to the user at Special:Preferences.