Houve um problema com o php.ini não ter sido salvo por algum motivo estranho. Agora está tudo bem. Para qualquer outra pessoa que venha aqui, verifique se você tem extension_dir="C: \ PHP \ ext" no seu php.ini, embora meu problema esteja em outro lugar ...