PHP coverage example