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

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

Version du 7 février 2023 à 03:34 voir la source Adadov (discussion \| contributions) Bureaucrates, Administrateurs d’interface, Administrateurs 3 295 modifications Page créée avec « * extratabs[ResourceLoader\|default\|targets=desktop]\|ExtraTabs.js »		Dernière version du 7 février 2023 à 06:04 voir la source Adadov (discussion \| contributions) Bureaucrates, Administrateurs d’interface, Administrateurs 3 295 modifications mAucun résumé des modifications
(Une version intermédiaire par le même utilisateur non affichée)
Ligne 1 :		Ligne 1 :
	* extratabs[ResourceLoader~~\|default~~\|targets=desktop]\|ExtraTabs.js		* extratabs[ResourceLoader\|targets=desktop]\|ExtraTabs.js
			* purgetab[ResourceLoader\|dependencies=mediawiki.util]\|purgetab.js