« MediaWiki:Gadgets-definition » : différence entre les versions
(Page créée avec « * extratabs[ResourceLoader|default|targets=desktop]|ExtraTabs.js ») |
mAucun résumé des modifications |
||
Ligne 1 : | Ligne 1 : | ||
* extratabs[ResourceLoader|default|targets=desktop]|ExtraTabs.js | * extratabs[ResourceLoader|default|targets=desktop]|ExtraTabs.js | ||
* purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js |
Version du 7 février 2023 à 07:30
- extratabs[ResourceLoader|default|targets=desktop]|ExtraTabs.js
- purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js