date_default_timezone_set («Европа / Лондон») не возвращает правильное время

Когда я использую следующий код для получения текущего лондонского времени, он дает неправильное время.

На момент тестирования текущее лондонское время было 02:11: 16 вечера, среда, 1 июня 2011 г. , но я использую следующий код:

date_default_timezone_set('Europe/London');
echo date('m/d/y h:i a', time());

Дал мне: 02.06.11 02:12

Почему не вернулось лондонское время?