Módulo json para o PHP 7.2
