internet explorer like gecko

Internet Explorer. Не определяется тип браузера

Пример взят из книги С.Хольцнера "PHP в примерах" (стр.183-185) в рамках учебного курса PHP с нуля.
С помощью переменной

$_SERVER ["HTTP_USER_AGENT"]

не распознаётся Internet Explorer. Всегда выводится сообщение: "Вы используете НЕ IntExplorer". В чём ошибка?

HTML-форма:

Subscribe to RSS - internet explorer like gecko