PHP IE6かどうかユーザーエージェントを調べる

IE6のシェアが低くなってきているので、いまさら感はありますが、それでもIE6を完全無視出来ない場合があるので、メモしておきます。
PHPでユーザーエージェントを見分けて、IE6とそれ以外を切り分ける時に使えると思います。

<?php
    $ua = $_SERVER['HTTP_USER_AGENT'];

    if (!(ereg("Windows",$ua) && ereg("MSIE 6",$ua))) {
         echo '"IE6では無いよ！";
    }else{
         echo '"IE6だよ！";
    }
?>