Diffusion mediawiki/skins/example 457077c44de8

Remove unused $useHeadElement property from skins
457077c44de8
Actions

Tags

None

Subscribers

None

Description

Remove unused $useHeadElement property from skins

Bug: T190575
Change-Id: Ic6d266f296e95bc10179779a1cb5c91702fbefec

Details

Provenance

Authored on Mar 27 2018, 7:07 PM

Parents

rSEXAMPLEf53bcabfd909: build: Updating jakub-onderka/php-parallel-lint to 1.0.0

Branches

Unknown

Tags

Unknown

ChangeId

Ic6d266f296e95bc10179779a1cb5c91702fbefec

Event Timeline

Kizule committed rSEXAMPLE457077c44de8: Remove unused $useHeadElement property from skins (authored by Kizule).Mar 27 2018, 7:08 PM

Changes (1)

Path

Size

Example.skin.php

rSEXAMPLE457077c44de8

Example.skin.php

Loading...