Orain/mediawiki-core — pull request #2 by labster (2013-11-21 21:43:00+00:00)
Title: modify SectionHide to look prettier, and have a working hide/show all

This also needs https://gist.github.com/labster/7590156 to be added to Common.js on sites where this is enabled. Which I'm guessing is only allthetropes at current. If you have a better idea of how to attach the JS to the feature, let me know.