« MediaWiki:Gadgets-definition » : différence entre les versions

Dernière version du 7 février 2023 à 08:04

Version du 7 février 2023 à 07:30 (voir la source) Adadov (discussion \| contributions) mAucun résumé des modifications ← Modification précédente		Dernière version du 7 février 2023 à 08:04 (voir la source) Adadov (discussion \| contributions) mAucun résumé des modifications
Ligne 1 :		Ligne 1 :
	* extratabs[ResourceLoader~~\|default~~\|targets=desktop]\|ExtraTabs.js		* extratabs[ResourceLoader\|targets=desktop]\|ExtraTabs.js
	* purgetab[ResourceLoader\|dependencies=mediawiki.util]\|purgetab.js		* purgetab[ResourceLoader\|dependencies=mediawiki.util]\|purgetab.js