[17:31:54] <mhbridgebot>	 [discord] <Lev> https://www.mediawiki.org/wiki/Extension:Gadgets
[17:31:54] <MirahezeBot>	 [url] Extension:Gadgets - MediaWiki | www.mediawiki.org
[17:31:54] <mhbridgebot>	 [discord] <Lev> What does 1.38-wmf.16 mean (for `package` option)? Is it available on Miraheze's 1.38 setup or no?
[17:35:21] <mhbridgebot>	 [discord] <Agent> The Wikimedia Foundation (WMF) tests out all MediaWiki versions first on their wikis including Wikipedia before releasing a new MediaWiki version. Version numbers ending in -wmf.XX mean that that's the nth test version of that new MediaWiki version so 1.38-wmf.16 = 16th beta release of MediaWiki 1.38
[17:35:31] <mhbridgebot>	 [discord] <Agent> Anyhow, Gadgets is available globally and is turned on by default
[17:35:39] <mhbridgebot>	 [discord] <Agent> so yes, it's available on Miraheze
[17:36:17] <mhbridgebot>	 [discord] <Lev> I didn't mean Gadgets extension itself, I asked whether a specific option of it is available. Seems like it is from what you're saying? Thanks.
[20:20:06] <mhbridgebot>	 [discord] <SelfCloak> i thought gadgets was removed or i might be thinking of another extension?
[20:40:52] <mhbridgebot>	 [discord] <Agent> I think you're thinking of Widgets