Módulo de sockets para PHP 7.2
