J'ai utilisé php -m pour voir que les extensions suivantes sont installées. Je veux trouver où se trouvent ces fichiers d'extension que je vois /usr/lib/php/20151012Le dossier contient les fichiers dans la deuxième image, mais les extensions doivent être au format DLL. tout est là ? Est-ce un fichier dans ce format ? Mais tout ce qui doit être chargé dans le fichier de configuration php.ini est au format dll

;extension=php_bz2.dll
;extension=php_curl.dll
;extension=php_fileinfo.dll
;extension=php_ftp.dll
extension=php_gd2.dll
;extension=php_gettext.dll
;extension=php_gmp.dll
;extension=php_intl.dll
;extension=php_imap.dll
;extension=php_interbase.dll
;extension=php_ldap.dll
;extension=php_mbstring.dll