Board Thread:Support Requests - Getting Technical/@comment-7981828-20130503050913

Specifically, like is done in this extension:

https://www.mediawiki.org/wiki/Extension:SideBarMenu 