Extension:CustomHeader

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