Current File : //opt/alt/php72/etc/php.d.all.def/wddx.ini

; Enable wddx extension module
extension=wddx.so