#!/usr/bin/env php
<?php

require dirname( __DIR__ ) . '/coverage-check.php';
