Remove mediawiki.toc dependency on mediawiki.util
authorBartosz Dziewoński <matma.rex@gmail.com>
Sat, 3 May 2014 13:08:28 +0000 (13:08 +0000)
committerOri.livneh <ori@wikimedia.org>
Sat, 31 May 2014 18:08:09 +0000 (18:08 +0000)
commit6ecd21a5f900ff7bfba2d00a6f677f31c6d2baa1
tree73cc2c14cadd3880350d3c433edb947318db3d6c
parent2a7037e7f6f53f84975d79557661cf4e087ad545
Remove mediawiki.toc dependency on mediawiki.util

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

Change-Id: I72ee359e8ce9aef93e50448067edce104014f39f
resources/Resources.php