header-image.php

<?php
/**
 * Displays header media
 *
 * @package WordPress
 * @subpackage Twenty_Seventeen
 * @since 1.0
 * @version 1.0
 */

?>
<div class="custom-header">

        <!--[if IE]> -->
        <style>
        #wp-custom-header img {
            display: none;
        }
        </style>

        <div class="custom-header-media">
            <!--[if IE]> -->
            <img alt="" src="<?php echo get_stylesheet_directory_uri(); ?>/banner-for-ie.jpg" />
            <!-- <![endif]-->
            <?php the_custom_header_markup(); ?>
        </div>

    <!-- <![endif]-->
    <?php get_template_part( 'template-parts/header/site', 'branding' ); ?>

</div><!-- .custom-header -->