https://bugzilla.wikimedia.org/show_bug.cgi?id=47145
Matthew Flaschen <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] | |rg, [email protected] See Also| |https://bugzilla.wikimedia. | |org/show_bug.cgi?id=55550 Summary|unify mediawiki.ui and |Transition from jquery.ui |jquery.ui |to mediawiki.ui --- Comment #3 from Matthew Flaschen <[email protected]> --- You can grep for jquery.ui in the checkout of core and all WMF-deployed extensions, and use regular Special:Search for a wiki (just make sure the right namespaces are checked). However, that might miss extensions, gadgets and user scripts that don't declare their dependencies (they should always be declared when possible, but not everyone is aware of this). There are definitely places that use it; however, the fact that it is loaded by default (e.g. on the main page) is a problem (bug 55550). This isn't going to be an overnight transition. mediawiki.ui needs to mature a lot, and jquery.ui is being used a lot of places (including gadgets and userscripts). Thus, it will probably need to be kept around for a while (though not loaded by default), even when mediawiki.ui has feature parity and is being used by extensions. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
