Last modified: 2012-09-21 03:11:23 UTC
I think the module "mediawiki.user" https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/core.git;a=blob;f=resources/Resources.php;h=5156dd04374d2f4c53582833d5bf32ce1dcb316d;hb=HEAD#l624 should have "user.tokens" as dependecy because of this line: https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/core.git;a=blob;f=resources/mediawiki/mediawiki.user.js#l249 249 mw.user = new User( mw.user.options, mw.user.tokens ); Also, the module https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/core.git;a=blob;f=resources/mediawiki.action/mediawiki.action.view.dblClickEdit.js uses mw.util.$content, so it should have 'mediawiki.page.startup' as dependency: https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/core.git;a=blob;f=resources/Resources.php;h=5156dd04374d2f4c53582833d5bf32ce1dcb316d;hb=HEAD#l661
Nice catch, to both. Just for your information though. The dependency on mediawiki.user is not subject to the usual race condition because user.tokens is embedded into the HTML output.
if you like, put up a patchset on gerrit. Otherwise, I'll assign for next week. (btw, removing from component ResourceLoader, onto MediaWiki core > JavaScript. This is not related to the ResourceLoader framework, but the javascript modules in mediawiki itself).
Gerrit Change I5ef5e4ab
Landed in master.