Оказалось, что можно принудительно включить режим совместимости, если заставить выгрузку сообщений компилятора добавлять после <html> такую строку:
PHP код:
<head><meta http-equiv="X-UA-Compatible" content="IE=7; IE=9"/></head>
Здесь для IE8 оставляется режим совместимости с IE7, а в более поздних версиях, включая IE10, будет использоваться режим IE9, в котором табличка с сообщениями отображается нормально.
NB! если просто поменять файл и в браузере нажать F5, то изменения не сработают - надо переоткрыть файл в браузере.