Last modified: 2011-07-18 16:06:49 UTC
Wikis should be able to disable loading of parts of the mediaWiki/mw javascript library. When a wiki has no use for part of it, there's no reason to slow down loading to load an unneeded pile of javascript. (And in the case of some of the parts of mw, they're pretty much always loaded pointlessly; I still haven't been able to figure out a possible way mw.html.element could be useful...)
What we'd expect to do is that if there are portions of the library that are too big and rarely used, they should be split off to separate modules that only need to be loaded when used. This would be general ongoing development work. mw.html.element is ... not particularly long, so likely would not qualify.