「MediaWiki:Gadgets-definition」の版間の差分
ナビゲーションに移動
検索に移動
AddBackToc→AddBackTop こうすれば目次非表示時でも問題なく動作するはず |
forceMobileTocを除去（バージョンアップで不具合が起きてるっぽい） |
||
| 17行目: | 17行目: | ||
== test-gadgets == | == test-gadgets == | ||
* PrettyDiff[ResourceLoader]|PrettyDiff.js | * PrettyDiff[ResourceLoader]|PrettyDiff.js | ||
2016年7月3日 (日) 07:52時点における版
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
test-gadgets
- PrettyDiff[ResourceLoader]|PrettyDiff.js