niente.

basta abilitare l'extension. Ma fatti venire il dubbio di stare modificando il php.ini errato...

controlla con phpinfo() che l'estensione sia abilitata.