PhpStorm 2017.1 显示“未定义的命名空间 Phalcon”

PhpStorm 2017.1 shows ' undefined namespace Phalcon'

PhpStorm 2017.1 version, I get the error - "undefined namespace Phalcon. Referenced namespace is not found". So I tried to include the Phalcon devtools。我将它们包括在内,项目资源管理器的 'External Liabraries' 找到了名称 - Phalcon。即使我可以加载项目 url 并在浏览器中获取输出。但是仍然出现该消息。

下面的另一个屏幕截图显示了我在包含路径中选择的文件夹。请注意,在 'ide->Phpstorm' 下,我没有看到任何其他文件或目录。

SO 中的其他答案使用 Phalcon devtools 的后版本。

如何删除消息并让 PhpStorm 巧妙地处理 Phalcon?

从 Phalcon 3.1 开始,存根在单独的存储库中可用 - https://github.com/phalcon/ide-stubs