Last modified: 2011-05-17 17:20:33 UTC
Rather than putting them in the init() of mediaWiki.util or on top of the mediawiki.js file creating a plugin like jquery.mwPrototypes makes it easier for third parties to re-use them. This also keeps the named files clean and limited to the definition of their modules (ie. jQuery.isEmpty is not part of the mediaWiki object, yet is defined in mediawiki.js) Assigning to myself, will do this together with bug 26799 probably.
Fixed in r88328.