ok, pero ese php.ini es de apache, lo estas probando con apache o con el cli ?, osea si creas un .php con
"echo hello_word();" y lo cargas en el browser, no funciona ?, como te dije antes el php.ini del CLI no es el mismo que el de apache, para probar desde la linea de comandos(como esta en el ejemplo) tienes que editar el .ini del CLI, ejecuta en la consola:
Código SHELL:
Ver original$ php -i | grep 'Configuration File'
te deberia mostrar el path al php.ini del CLI, agrega a este la extension, luego deberia funcionar el:
Saludos.