「MediaWiki:Gadgets-definition」の版間の差分

2024年7月18日 (木) 23:49時点における最新版

wikEd[ResourceLoader]|wikEd.js
HotCat[ResourceLoader]|HotCat.js
mySandbox[ResourceLoader|dependencies=mediawiki.util,mediawiki.Title,mediawiki.Uri|default|rights=move-rootuserpages]|mySandbox.js
ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
StickyTocL[ResourceLoader]|StickyTocL.js|StickyTocL.css
StickyTocB[ResourceLoader]|StickyTocB.js|StickyTocB.css

@@ 1行目: / 1行目: @@
-== interface-gadgets ==
+* wikEd[ResourceLoader]|wikEd.js
+* HotCat[ResourceLoader]|HotCat.js
 * mySandbox[ResourceLoader|dependencies=mediawiki.util,mediawiki.Title,mediawiki.Uri|default|rights=move-rootuserpages]|mySandbox.js
-* pop[default]|Pop.js|Pop.css
+* ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
-* shortcut[default]|shortcut.js
+* StickyTocL[ResourceLoader]|StickyTocL.js|StickyTocL.css
-* ReferenceTooltips[default]|ReferenceTooltips.js|ReferenceTooltips.css
+* StickyTocB[ResourceLoader]|StickyTocB.js|StickyTocB.css
-* HotCat[ResourceLoader]|HotCat.js
-* Gadget-StickyToc[ResourceLoader]|Gadget-StickyToc.js|Gadget-StickyToc.css