Il php.ini sono sicuro che sia quello perchè ho fatto altre modifiche e me le ha sempre prese.

Dal phpinfo() comunque non riesco a capire dove guardare per vedere se quelle estensioni sono state caricate (se si puo vedere )