Update functions.php

A more efficient check for IE >= 11 than the previous commit