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
} );
};
+ // Skeleton user object, extended by the 'mediawiki.user' module.
+ /**
+ * @class mw.user
+ * @singleton
+ */
+ mw.user = {
+ /**
+ * @property {mw.Map}
+ */
+ options: new mw.Map(),
+ /**
+ * @property {mw.Map}
+ */
+ tokens: new mw.Map()
+ };
+
// Alias $j to jQuery for backwards compatibility
// @deprecated since 1.23 Use $ or jQuery instead
mw.log.deprecate( window, '$j', $, 'Use $ or jQuery instead.' );
}() )
}
};
- }() ),
-
- // Skeleton user object, extended by the 'mediawiki.user' module.
- /**
- * @class mw.user
- * @singleton
- */
- user: {
- /**
- * @property {mw.Map}
- */
- options: new Map(),
- /**
- * @property {mw.Map}
- */
- tokens: new Map()
- }
-
+ }() )
};
// Attach to window and globally alias