Expressão regular para detectar o Internet Explorer 11

Eu estou usando issopreg_match corda

preg_match('/Trident/7.0; rv:11.0/',$_SERVER["HTTP_USER_AGENT"]

para detectar o IE11 para que eu possa ativar o modo tablet para isso. No entanto, retorna "delimitador desconhecido 7".

Como posso fazer isso sem o PHP reclamar para mim?

questionAnswers(8)

yourAnswerToTheQuestion