resources: Document why mw.user has two seemingly unused deps

The code in the module 'mediawiki.user' does not depend on the modules
'user.options' and 'user.tokens' so the ResourceLoader dependency is
not necessary.

Change-Id: I22b9175f7623dbdf1c08826904b76dee5d56ea40

diff --git a/resources/Resources.php b/resources/Resources.php
index 8f3e8c4..741b64f 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1317,6 +1317,9 @@ return [
                'dependencies' => [
                        'mediawiki.api',
                        'mediawiki.storage',
+                       // The two user.* modules are not used by mediawiki.user itself,
+                       // but kept as expliciit dependencies because they provide part
+                       // of the mw.user API that consumers of this module expect.
                        'user.options',
                        'user.tokens',
                ],