Onde eu faço o download de extensões PHP para windows? - php, postgresql, extensão php

Eu estou tentando fazer a minha instalação do PHP para trabalhar com o PostgreSQL, então eu preciso php_pgsql.dll

Uma pergunta muito idiota, mas onde eu obtenho um para meu PHP5.3?

Eu li aqui: http://php.net/manual/en/install.windows.extensions.php, mas é dito que, sim, você precisa desta dll, mas nenhum link para download. o que estou perdendo?

dll não está presente por padrão na minha instalação:

Respostas:

extensão está no subdiretório ext, para ativá-lo você tem que editar o arquivo php.ini, definir ext dir e descomentar php_pgsql