Update bin/phpcompatinfo.json to reflect the doc