MediaWiki:Dashboard.js

/* Restores Normal Header To Special Pages */ function ADHeader { $('header.AdminDashboardHeader').before(' ' + wgTitle + ' Special page      ');

var productElement = document.getElementById("ajaxRefresh"); if (productElement != null) { $('header.AdminDashboardHeader h1 a').css({"display": 'none'}); $('header.AdminDashboardHeader h1').css({"margin-top": '-12px'}); $('header.AdminDashboardHeader').css({"height": '25px'}); $('header.AdminDashboardHeader').css({"padding-left": '5px'}); $('header.AdminDashboardHeader').css({"background": 'transparent !important'}); $('header.AdminDashboardHeader').css({"border": '0px'}); $('header.AdminDashboardHeader').css({"display": 'block !important'}); } } $(ADHeader)