GitHub repository: wikimedia-gadgets/types-mediawiki
Primary language: JavaScript
Description: TypeScript definitions for MediaWiki JS interface