fix php mirror url

The php mirror listed gives a 404. This one doesn't.