Remove mediawiki.toc dependency on mediawiki.util

This reverts commit 1b658bf0729692027f96c022d131c044610dd658,
which was a temporary workaround for Wikimedia deployment
cache issues.

Change-Id: I72ee359e8ce9aef93e50448067edce104014f39f

diff --git a/resources/Resources.php b/resources/Resources.php
index a9208db..aee1864 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -921,7 +921,6 @@ return array(
                        'jquery.accessKeyLabel',
                        'jquery.mwExtension',
                        'mediawiki.notify',
-                       'mediawiki.toc', // bug 64765
                ),
                'position' => 'top', // For $wgPreloadJavaScriptMwUtil
                'targets' => array( 'desktop', 'mobile' ),