Restore mediawiki.toc dependency on mediawiki.util
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 2 May 2014 19:45:44 +0000 (21:45 +0200)
committerTimo Tijhof <krinklemail@gmail.com>
Fri, 2 May 2014 19:45:44 +0000 (21:45 +0200)
commit1b658bf0729692027f96c022d131c044610dd658
treee54dfc149088cc649f47e9271850fbf44d6bf346
parentd9d4785531d829252035ee9a6afe7036b85748d3
Restore mediawiki.toc dependency on mediawiki.util

Follows-up If0438b7b6f4649, which broken the toc toggle module
since it was no longer part of a global module (mediawiki.util)
but only added to individual pages by the parser.

While that is a superior load mechanism, it broke existing pages
due to parser cache. Not the general html cache for logged-out
users but the main parser cache, which affects logged-in users
as well.

Bug: 64765
Change-Id: Ia12998fb11c686e1cc965578f7beb31c79b1b12c
resources/Resources.php