PHPStorm识别变量不包含在PHP文件中

Question

哪些步骤会重现这个问题？

1. 创建一个新项目。
2. 使用以下内容创建名为a.php的PHP文件：<?php $customerName = 'Mary';
3. 使用以下内容创建另一个名为b.php的PHP文件：<?php echo $customerName;

预期结果是什么？ 由于a.php中未包含b.php，因此IDE应警告用户未定义的变量$customerName。

反而会发生什么？ IDE接受变量，就像a.php中包含b.php一样。

PHPStorm版本为6.0.2。