MediaWiki:Gadgets-definition: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 54:
* autoreEdizioni[ResourceLoader|default|targets=desktop,mobile]|autoreEdizioni.js
* showWikiCode[ResourceLoader|default|peers=common-style|dependencies=ext.gadget.common-style]|showWikiCode.js|showWikiCode.css
* ErroriLint[ResourceLoader|default|peers=common-style|dependencies=ext.gadget.common-style]|ErroriLint.js|ErroriLint.css▼
Altri:
Line 67 ⟶ 68:
* DPfont[ResourceLoader|dependencies=ext.wikiEditor]|DPfont.js
* WhatLeavesHere[ResourceLoader]|WhatLeavesHere.js
▲* ErroriLint[ResourceLoader|peers=common-style|dependencies=ext.gadget.common-style]|ErroriLint.js|ErroriLint.css
== editing-tools-for-Page-namespace ==
| |||