[14:38:37] Hi! [14:39:14] hey [14:41:41] I've meant to ask, is "jquery.ui" a core module in ResourceLoader as of MediaWiki 1.45? I'm trying to fix an error some user has with a gadget where the issue looks like just like jquery.ui not loading but another interface admin assures me it's a core module. Mediawiki lists it on core modules page as deprecated but I just want to be sure whether the support has been dropped for good or not [14:41:44] Thanks [14:44:07] MonAx: it's still a core module, hasn't been dropped yet [14:44:26] by which i mean, it is available in MediaWiki core [14:44:27] I’m not sure what “core module” means tbh [14:44:32] but it's not loaded by default, if that's what you mean [14:44:33] ^ what MatmaRex said [14:44:35] ahhh [14:44:41] Yes that's exactly the matter [14:44:48] e.g. on https://en.wikipedia.org/wiki/Special:BlankPage, mw.loader.getState('jquery.ui') returns "registered", i.e. not loaded by default [14:45:09] if you want to use it, you need to declare a dependency (in a gadget) or load it manually with mw.loader.using(...) (in a user script) [14:45:41] Yeah, I tried doing that but reverted it just in case bc https://www.mediawiki.org/wiki/ResourceLoader/Core_modules states: The modules jquery and mediawiki together form the base environment ("startup") and are always present. They must not be declared as dependencies. [14:45:47] Better safe than sorry [14:46:20] right. that just refers to the two modules, 'jquery' and 'mediawiki'. but the various jquery.whatever modules have to be loaded as dependencies. [14:47:48] yeah that's reasonable