resourceloader: Move mw.user skeleton from startup to base
authorTimo Tijhof <krinklemail@gmail.com>
Wed, 28 Aug 2019 01:17:30 +0000 (02:17 +0100)
committerKrinkle <krinklemail@gmail.com>
Sat, 31 Aug 2019 20:50:56 +0000 (20:50 +0000)
commit3f58fe541fedb8a0f245a6b1bb43b4f21f144e2e
treee6bee50f3daf0938c953b66e508aca4bd59cc62b
parenta89ff2d168c8360913a343268e22c572b5c50c8c
resourceloader: Move mw.user skeleton from startup to base

This isn't required for mw.loader to be able to process the manifest
and fetch modules, so it doesn't need to be shipped there.

Follows-up T192623, in which we didn't notice this.

Similar to 46cd3ed7a7, which moved mw.libs and mw.widgets.

Change-Id: I2d07d8c411d93a6abedd50bf67ca6bf75f93a8c6
resources/src/mediawiki.base/mediawiki.base.js
resources/src/startup/mediawiki.js