Is the Browser Older Than Internet Explorer $version ?

function is_lt_ie( $version = 8 )
{
    preg_match( '/MSIE (.*?);/', $_SERVER['HTTP_USER_AGENT'], $matches );
    if ( ! isset( $matches[1] ) ) {
      preg_match( '/Trident/d{1,2}.d{1,2}; rv:([0-9]*)/', $_SERVER['HTTP_USER_AGENT'], $matches );
    }
    return ( isset( $matches[1] ) && $matches[1] < $version );
}