added phpcov.json back