MediaWiki:Gadgets-definition: Difference between revisions

Revision as of 21:59, 3 June 2023

Navigation_popups[ResourceLoader|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg|type=general]|popups.js|navpop.css
vector-headanchor[ResourceLoader|type=general]|vector-headanchor.js|vector-headanchor.css

Revision as of 21:40, 3 June 2023 (view source) Mcint (talk \| contribs) (add Navigation_popups gadget, copied from wp:MediaWiki:Gadget-definition, per mw:Extension:Gadgets)		Revision as of 21:59, 3 June 2023 (view source) Mcint (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
	* Navigation_popups[ResourceLoader\|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg\|type=general]\|popups.js\|navpop.css		* Navigation_popups[ResourceLoader\|dependencies=mediawiki.api,mediawiki.user,mediawiki.util,user.options,mediawiki.jqueryMsg\|type=general]\|popups.js\|navpop.css
			* vector-headanchor[ResourceLoader\|type=general]\|vector-headanchor.js\|vector-headanchor.css