[https://www.mediawiki.org/wiki/Extension:Gadgets "The Gadgets extension provides a way for users to pick JavaScript or CSS based "gadgets" that other wiki users provide."] | [https://www.mediawiki.org/wiki/Extension:Gadgets "The Gadgets extension provides a way for users to pick JavaScript or CSS based "gadgets" that other wiki users provide."] |