this should probably be in add_ext_to_php_ini