「MediaWiki:Gadgets-definition」の版間の差分
PrettyDiffの追加。全てのガジェットにResourceLoaderオプションを付加 |
→editing-gadgets: wikEdを追加 |
||
| 1行目: | 1行目: | ||
== editing-gadgets == | == editing-gadgets == | ||
* wikEd[ResourceLoader]|wikEd.js | |||
* SummaryEnterPreview[ResourceLoader]|SummaryEnterPreview.js | * SummaryEnterPreview[ResourceLoader]|SummaryEnterPreview.js | ||
* StyleGuide[ResourceLoader]|StyleGuide.js | * StyleGuide[ResourceLoader]|StyleGuide.js | ||