Possibly an old modified fork of https://github.com/wikimedia/mediawiki-extensions-Gadgets - View it on GitHub