Merge "Move toctoggle from mediawiki.util.js to separate file mediawiki.toc.js"

diff --combined resources/Resources.php
index 8a13440,ff7e916..6274e71
--- 1/resources/Resources.php
--- 2/resources/Resources.php
+++ b/resources/Resources.php
@@@ -274,9 -274,6 +274,9 @@@ return array
        'jquery.form' => array(
                'scripts' => 'resources/jquery/jquery.form.js',
        ),
 +      'jquery.fullscreen' => array(
 +              'scripts' => 'resources/jquery/jquery.fullscreen.js',
 +      ),
        'jquery.getAttrs' => array(
                'scripts' => 'resources/jquery/jquery.getAttrs.js',
                'targets' => array( 'desktop', 'mobile' ),
@@@ -804,6 -801,14 +804,14 @@@
                ),
                'targets' => array( 'desktop', 'mobile' ),
        ),
+       'mediawiki.toc' => array(
+               'scripts' => 'resources/mediawiki/mediawiki.toc.js',
+               'dependencies' => array(
+                       'jquery.cookie',
+               ),
+               'messages' => array( 'showtoc', 'hidetoc' ),
+               'targets' => array( 'desktop', 'mobile' ),
+       ),
        'mediawiki.Uri' => array(
                'scripts' => 'resources/mediawiki/mediawiki.Uri.js',
                'targets' => array( 'desktop', 'mobile' ),
@@@ -822,11 -827,10 +830,10 @@@
                'scripts' => 'resources/mediawiki/mediawiki.util.js',
                'dependencies' => array(
                        'jquery.client',
-                       'jquery.cookie',
                        'jquery.mwExtension',
                        'mediawiki.notify',
+                       'mediawiki.toc',
                ),
-               'messages' => array( 'showtoc', 'hidetoc' ),
                'position' => 'top', // For $wgPreloadJavaScriptMwUtil
                'targets' => array( 'desktop', 'mobile' ),
        ),
@@@ -1113,9 -1117,6 +1120,9 @@@
                'messages' => array(
                        'prefs-tabs-navigation-hint',
                ),
 +              'dependencies' => array(
 +                      'mediawiki.language',
 +              ),
        ),
        'mediawiki.special.recentchanges' => array(
                'scripts' => 'resources/mediawiki.special/mediawiki.special.recentchanges.js',