Extension:CustomHeader

CustomHeader is a MediaWiki extension that allows users to customize the header of a page.