PHP com pdo-mysql no Ubuntu 16.04

Question

Eu tenho tentado instalar o php (7.2) no Ubuntu (16.04) com o PDO ativado. Eu não preciso do php como módulo do apache, porque eu quero usar o servidor embutido do PHP (no modo cli, como php -S localhost:80 ).

Então, aqui está o que eu faço:

sudo apt-get install php

sudo apt-get install php-mysql

sudo cp /usr/lib/php/7.2/php.ini-production.cli /etc/php/7.2/cli/php.ini

Agora, no php.ini descomentado:

extension=pdo_mysql

E ainda quando eu corro php -v , recebo o erro:

PHP Warning:  PHP Startup: Unable to load dynamic library 'pdo_mysql' (tried: /usr/lib/php/20170718/pdo_mysql (/usr/lib/php/20170718/pdo_mysql: cannot open shared object file: No such file or directory), /usr/lib/php/20170718/pdo_mysql.so (/usr/lib/php/20170718/pdo_mysql.so: undefined symbol: pdo_parse_params)) in Unknown on line 0

php -m output:

[PHP Modules]
Core
date
filter
hash
libxml
openssl
pcntl
pcre
Reflection
session
sodium
SPL
standard
zlib
[Zend Modules]

    

Answer 1

Eu resolvi o problema desta maneira:

sudo apt-get --purge remove php-common

sudo apt-get install php-common php-mysql php-cli

Agora não há erro e php -m mostra que tem tudo:

[PHP Modules]
calendar
Core
ctype
date
exif
fileinfo
filter
ftp
gettext
hash
iconv
json
libxml
mysqli
mysqlnd
openssl
pcntl
pcre
PDO
pdo_mysql
Phar
posix
readline
Reflection
session
shmop
sockets
sodium
SPL
standard
sysvmsg
sysvsem
sysvshm
tokenizer
Zend OPcache
zlib

[Zend Modules]
Zend OPcache

Ainda não sei o que causou o problema em primeiro lugar