PHPSpec JSON Formatter Extension