Extension:Uniwiki Category Box at Top

What can this extension do?
Adds a second category box to the top-right of each page, to increase visibility and usage of categories by end-users. This works best when the list of categories is quite small, but will grow indefinitely.

Installation
Create a subdirectory in your extensions directory: (we do this to make it easy to distribute all Uniwiki extensions as a bundle)

Download the extension using subversion:

Add the following to LocalSettings.php: