PHP - Detectar a versão do Internet Explorer

<?php
    // DETECTAR SE É IE
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE/',$browser)) {
        // Parabéns, não é IE
    }

    // DETECTAR SE NÃO É IE 6
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 6/',$browser)) {
        // Não é Internet Explorer 6
    }

    // DETECTAR SE NÃO É IE 7
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 7/',$browser)) {
        // Não é Internet Explorer 7
    }

    // DETECTAR SE NÃO É IE 8
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 8/',$browser)) {
        // Não é Internet Explorer 8
    }

    // DETECTAR SE NÃO É IE 9
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 9/',$browser)) {
        // Não é Internet Explorer 9
    }

    // DETECTAR SE NÃO É IE 10
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 10/',$browser)) {
        // Não é Internet Explorer 10
    }

    // DETECTAR SE NÃO É IE 11
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 11/',$browser)) {
        // Não é Internet Explorer 11
    }

    // DETECTAR SE NÃO É IE 12
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 12/',$browser)) {
        // Não é Internet Explorer 12
    }

    // DETECTAR SE NÃO É IE 13
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 13/',$browser)) {
        // Não é Internet Explorer 13
    }

    // DETECTAR SE NÃO É IE 14
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 14/',$browser)) {
        // Não é Internet Explorer 14
    }

    // DETECTAR SE NÃO É IE 15
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 15/',$browser)) {
        // Não é Internet Explorer 15
    }

    // DETECTAR SE NÃO É IE 16
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 16/',$browser)) {
        // Não é Internet Explorer 16
    }

    // DETECTAR SE NÃO É IE 17
    $browser = $_SERVER['HTTP_USER_AGENT'];
    if (!preg_match('/MSIE 17/',$browser)) {
        // Não é Internet Explorer 17
    }

?>