Pour utiliser différents pilotes, vous devez les installer. Sous Windows, vous décommentez simplement une ligne dans php.ini :
extension=php_pdo_mysql.dll
Sous Linux, vous installez l'extension avec le gestionnaire de packages :
sudo apt install php7.1-mysql
