could someone please change our mirrors default language to english?
The mirror is de3.php.net.
I've just changed it in our records.
Simone and Alex, FYI the mirror system now works with local language settings overriding the central setting. See
http://php.net/mirroring
Mirorrs can set their own language preference without contacting us, and the central database is refreshed every hour to contain the right language (so other mirrors will list the changed mirror with the right language setting on mirrors.php for example).
Goba