Temporary repo in order to reproduce a PHPUnit bug