MediaWiki:Gadgets-definition : Différence entre versions
Sauter à la navigation
Sauter à la recherche
m |
m (→Gadgets) |
||
| Ligne 1 : | Ligne 1 : | ||
== Gadgets == | == Gadgets == | ||
* tooltipRef [ResourceLoader|type=general|dependencies=user] | tooltipRef.js | tooltipRef.css | * tooltipRef [ResourceLoader|type=general|dependencies=user] | tooltipRef.js | tooltipRef.css | ||
| + | * Navigation_popups[ResourceLoader|type=general]|popups.js|navpop.css | ||
Version du 13 novembre 2019 à 16:18
Gadgets
- tooltipRef [ResourceLoader|type=general|dependencies=user] | tooltipRef.js | tooltipRef.css
- Navigation_popups[ResourceLoader|type=general]|popups.js|navpop.css
