Installation d'extension

; On PHP version 7.2 and up, prefer :
extension=extname
zend_extension=another_extension
Famous Flamingo