HomePhabricator

Hygiene: remove unused Overlay.defaults.fixedHeader

Description

Hygiene: remove unused Overlay.defaults.fixedHeader

Remove Overlay's fixedHeader default which is unused and easy to confuse
with hasFixedHeader, which appears to be independent of it. fixedHeader
was introduced in 941c772a8 for KeepGoingOverlay which has since got up
and went and only needed by the now deprecated Wikipedia Zero[0].

[0] https://gerrit.wikimedia.org/g/mediawiki/extensions/ZeroBanner/+/592a3f09739db9987f85aa8dc47123c3b382b989/modules/zerobanner.interstitial/ZeroOverlay.js

Bug: T191987
Change-Id: If1ed11289f380e0354be4c8df483be1e41ec94c5

Details

Provenance
NiedzielskiAuthored on Jan 7 2019, 4:21 PM
Parents
rEMFR1dd04ebdf936: Localisation updates from https://translatewiki.net.
Branches
Unknown
Tags
Unknown
ChangeId
If1ed11289f380e0354be4c8df483be1e41ec94c5