note 124218 added to migration51.extensions

Para sistemas baseados no Debian, mudar configurações no arquivo de configuração do PHP (php.ini) pode não ser suficiente. Utilizar a linha de comando para instalar uma nova extensão PHP pode ser uma boa ideia. O comando: # apt install php-nomedaExtensao; é útil para instalar novas extensões, o único detalhe é que dependendo da versão do PHP o comando pode variar. Exemplo PHP 7.3: # apt install php7.3-nomedaExtensao; ---- Server IP: 208.43.231.9 Probable Submitter: 185.85.3.168 (proxied: 170.81.202.50) ---- Manual Page -- http://php.net/manual/en/migration51.extensions.php Edit -- https://master.php.net/note/edit/124218 Del: integrated -- https://master.php.net/note/delete/124218/integrated Del: useless -- https://master.php.net/note/delete/124218/useless Del: bad code -- https://master.php.net/note/delete/124218/bad+code Del: spam -- https://master.php.net/note/delete/124218/spam Del: non-english -- https://master.php.net/note/delete/124218/non-english Del: in docs -- https://master.php.net/note/delete/124218/in+docs Del: other reasons-- https://master.php.net/note/delete/124218 Reject -- https://master.php.net/note/reject/124218 Search -- https://master.php.net/manage/user-notes.php