Я использую этоpreg_match строка

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

определить IE11, чтобы я мог включить режим планшета для него. Однако он возвращает «неизвестный разделитель 7».

Как я могу сделать это без PHP жаловаться на меня?