Centos8 php7 does not come with json.so

Question

I have a clean install of centos8 and php 7.2.24 (installed via dnf). There is no json enabled. When I add extension=json.so to /etc/php.ini it say