Me imagino que no viste la sección que habla acerca de Windows, ¿verdad?
Vamos, el manual es bastante claro, si no tienes experiencia compilando extensiones por ti mismo (o en dado caso descargar y configurar un DLL) es mejor que pidas ayuda de un experto.
Acá en el foro de PHP tratamos temas únicamente de programación en PHP, y tu no problema todavía no es de código PHP, primero debes resolver la dependencia de dicha extensión antes de cualquier cosa.