HomePhabricator

MediaWiki core's clover.xml is gzipped, not bz2'd now

Authored by Legoktm on Jul 27 2019, 2:56 AM.

Description

MediaWiki core's clover.xml is gzipped, not bz2'd now

See T223955.

Details

Committed
LegoktmJul 27 2019, 2:56 AM
Parents
R2355:dc37e321fe02: Expose PHP_VERSION
Branches
Unknown
Tags
Unknown
ChangeId
None