「MediaWiki:Gadgets-definition」の版間の差分
ナビゲーションに移動
検索に移動
(charinsert) |
(→editing-gadgets: charinsertを一旦外す（正常に作動していないため）) |
||
| 6行目: | 6行目: | ||
* StyleGuide[ResourceLoader]|StyleGuide.js | * StyleGuide[ResourceLoader]|StyleGuide.js | ||
* Edittools[ResourceLoader|default]|Edittools.js | * Edittools[ResourceLoader|default]|Edittools.js | ||
== interface-gadgets == | == interface-gadgets == | ||
2016年12月11日 (日) 21:58時点における版
editing-gadgets
- edittop[ResourceLoader]|edittop.js
- wikEd[ResourceLoader]|wikEd.js
- SummaryEnterPreview[ResourceLoader]|SummaryEnterPreview.js
- SummaryEnterSave[ResourceLoader]|SummaryEnterSave.js
- StyleGuide[ResourceLoader]|StyleGuide.js
- Edittools[ResourceLoader|default]|Edittools.js
interface-gadgets
- SiteOrigin[ResourceLoader|default|top|targets=desktop,mobile]|SiteOrigin.css|bgcolor.css
- exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js
- EnableMsUpload[ResourceLoader|default|rights=upload]|EnableMsUpload.css
- ReferenceTooltips[ResourceLoader|default]|ReferenceTooltips.js|ReferenceTooltips.css
- AddTeam[ResourceLoader|targets=desktop,mobile]|AddTeam.css
- AddBackTop[ResourceLoader]|AddBackTop.js|AddBackTop.css
- Backtotop[ResourceLoader]|Backtotop.js
test-gadgets
- PrettyDiff[ResourceLoader]|PrettyDiff.js