borkweb/bootstrap-mediawiki — pull request #37 by borkweb (2014-09-15 20:29:10+00:00)
Title: Feature dynamic menus

Merging https://github.com/borkweb/bootstrap-mediawiki/pull/35 after resolving the conflict. Thanks @poikilotherm!