PHP-Extensions wo?

IPS verwendet zur Zeit PHP5.0.6-dev (sagt phpinfo()).
Wo gibt es die dazu passenden Extensions für Windows?
Die offizielle Version ist schon bei 5.1.2 angelangt und die Extensions dazu passen leider nicht mehr. Ich habe keinen Bock, mir das selbst aus den alten Sourcen zurecht zu kompilieren.

@steiner: könntet Ihr nicht auch als Zusatz-Service die für die jeweils eingebaute PHP-Version passenden Extensions mit zum Download anbieten?

Danke!

Tommi

Ich habe einen Satz Extensions gezippt (3MB). Wo soll ich sie hinschicken? Wenn du nur ein einzelnes brauchst geht es evtl. auch über das Forum…

Du hast Post.

Tommi