Remove temporary fixes for wgGlobalHeaderFullWidth as it is always enabled now.