[PHP-DEV] Sorry folks, my last git push went a bit crazy

[Rasmus Lerdorf]

Oops, a misconfigured git setup ended up pushing to all branches on me. If
someone could lend a hand cleaning this up I would appreciate it.

-Rasmus