Extensão de comunidade PHP para PHP 7.1
