Move dependency on user.tokens from mediawiki.api.edit to mediawiki.api

The postWithToken() method used to be specific to the edit module.
However that logic was moved and refactored into getToken() and
postWithToken() a while back.

While waiting for user.tokens instead of making api requests for tokens
is worth it. The logic in mediawiki.api.js inspects mw.user.tokens
only at initial run time. So it must be on 'mediawiki.api'.

Anyhow, in practice it doesn't matter since the user.tokens is
embedded in the page. So there's no actual waiting of any kind.

Change-Id: I10fae93c8f1500b4aa752101256fbba94c2ae40d

diff --git a/resources/Resources.php b/resources/Resources.php
index 7c2a9df..c280770 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -820,7 +820,10 @@ return array(
        ),
        'mediawiki.api' => array(
                'scripts' => 'resources/src/mediawiki.api/mediawiki.api.js',
-               'dependencies' => 'mediawiki.util',
+               'dependencies' => array(
+                       'mediawiki.util',
+                       'user.tokens',
+               ),
                'targets' => array( 'desktop', 'mobile' ),
        ),
        'mediawiki.api.category' => array(
@@ -835,7 +838,6 @@ return array(
                'dependencies' => array(
                        'mediawiki.api',
                        'mediawiki.Title',
-                       'user.tokens',
                ),
                'targets' => array( 'desktop', 'mobile' ),
        ),
@@ -856,7 +858,6 @@ return array(
                'scripts' => 'resources/src/mediawiki.api/mediawiki.api.watch.js',
                'dependencies' => array(
                        'mediawiki.api',
-                       'user.tokens',
                ),
        ),
        'mediawiki.content.json' => array(