Módulo JSON para PHP 7.1
