Extension:Topbar

What can this extension do?
This extension adds a WikiDot-like topbar to MediaWiki.

Usage
Create a list of links on MediaWiki:Topbar.

Installation
To install this extension, add the following to LocalSettings.php: