В среде IDE PhpStorm 2017.2 ошибка не выделяется & quot; Оператор [] не поддерживается для строк & quot; в PHP 7.1.x

Я установил PhpStorm версии 2017.2 и настроил PHP 7.1 под Настройки> Языки и рамки> PHP> Уровень языка PHP

К сожалению, он не выделяет возможные ошибки при использовании оператора индекса пустого массива для строковых переменных (описание: http://php.net/manual/de/migration71.incompatible.php#migration71.incompatible.empty-string-index-operator )

Код:

<?php
$test = 'a string';

$test[] = 'an array value';

echo "it works";

При выполнении кода с PHP 7.1.x возникает следующая ошибка

Неустранимая ошибка: Uncaught Error: оператор [] не поддерживается для строк в

поэтому код определенно не работает.

Может кто-нибудь помочь мне с конфигурацией PhpStorm?