Módulo WDDX para PHP 7.2
