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
Version: unspecified
Severity: normal