PHP 7 changed the JSON parser it uses, compared to PHP 5. So it would be great to update the result table to include results for PHP 7 as well.