Difference between revisions of MediaWiki:Gadgets-definition

Revision as of 12:29, 22 May 2020 view source NottNott (talk \| contribs) 4,556 edits No edit summary ← Older edit		Revision as of 12:30, 22 May 2020 view source NottNott (talk \| contribs) 4,556 edits No edit summary Newer edit →
Line 3:		Line 3:

	==Buggy extensions that remain here for choice==		==Buggy extensions that remain here for choice==
			* wikEd[ResourceLoader]\|wikEd.js