Current File : //opt/alt/php72/etc/php.d.all.def/wddx.ini
; Enable wddx extension module
extension=wddx.so