From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Sat, 1 Feb 2014 02:20:14 +0000 (+0000)
Subject: Merge "Move toctoggle from mediawiki.util.js to separate file mediawiki.toc.js"
X-Git-Tag: 1.31.0-rc.0~17052
X-Git-Url: http://git.cyclocoop.org/%24image?a=commitdiff_plain;h=5c164ab1cb2c77d8c897c8b5817bf79a9086c2fd;p=lhc%2Fweb%2Fwiklou.git

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

5c164ab1cb2c77d8c897c8b5817bf79a9086c2fd