From: Bartosz Dziewoński <matma.rex@gmail.com>
Date: Sat, 3 May 2014 13:08:28 +0000 (+0000)
Subject: Remove mediawiki.toc dependency on mediawiki.util
X-Git-Tag: 1.31.0-rc.0~15518
X-Git-Url: http://git.cyclocoop.org/%28%5B%5E/404?a=commitdiff_plain;h=6ecd21a5f900ff7bfba2d00a6f677f31c6d2baa1;p=lhc%2Fweb%2Fwiklou.git

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 a9208db67a..aee1864d2c 100644
--- 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' ),