Habe mir jetzt mal PHP 7.4 runtergeladen - ja, da scheint es eine grundsätzliche Änderung im extension-Namingkonzept gegeben zu haben.
Genauer gesagt in PHP 7.2
https://www.php.net/manual/de/install.pecl.windows.php
behauptet:
; On PHP version 7.2 and up, prefer :
extension=extname
zend_extension=another_extension