HomePhabricator

Remove unused $useHeadElement property from skins

Tags
None
Referenced Files
None
Subscribers
None

Description

Remove unused $useHeadElement property from skins

Bug: T190575
Change-Id: I1c7beed7a0a046e0379271f03467de2b0bef7325

Details

Provenance
KizuleAuthored on Mar 27 2018, 7:16 PM
Parents
R1893:e3921530dbf3: build: Updating jakub-onderka/php-parallel-lint to 1.0.0
Branches
Unknown
Tags
Unknown
References
refs/changes/33/422233/2
ChangeId
I1c7beed7a0a046e0379271f03467de2b0bef7325