Diffusion tool-coverme 8da08f074fc7

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

Tags

None

Referenced Files

None

Subscribers

None

Description

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

Details

Provenance

Authored on Jul 27 2019, 2:56 AM

Parents

R2355:dc37e321fe02: Expose PHP_VERSION

Branches

Unknown

Tags

Unknown

ChangeId

None

Event Timeline

Legoktm committed R2355:8da08f074fc7: MediaWiki core's clover.xml is gzipped, not bz2'd now (authored by Legoktm).Jul 27 2019, 2:56 AM

Changes (1)

Path

Size

src/

CoverLogIndex.php

R2355:8da08f074fc7

src/CoverLogIndex.php

Loading...