PhpStorm IDE 2017.2 不高亮 PHP 7.1.x 中的错误“[] operator not supported for strings”

PhpStorm IDE 2017.2 does not highlight the error " [] operator not supported for strings" in PHP 7.1.x

我安装了 PhpStorm 2017.2 版并在 设置 > 语言和框架 > PHP > PHP 语言级别[ 下配置了 PHP 7.1

不幸的是,它没有突出显示在字符串变量上使用空数组索引运算符时可能出现的错误(描述: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";

用PHP7.1.x执行代码时出现如下错误

Fatal error: Uncaught Error: [] operator not supported for strings in

所以代码肯定是行不通的。

谁能帮我配置 PhpStorm?

这是一个错误,请在这里投票:https://youtrack.jetbrains.com/issue/WI-36636