在PhpStorm 2017.1版本中，我收到错误 - “未定义的命名空间 Phalcon。未找到引用的命名空间”。 所以我试图包括 Phalcon devtools。我将它们包括在内，并且项目 Explorer 的“外部库”找到了名称 - Phalcon。甚至我也可以加载项目 url 并在浏览器中获取输出。但该消息仍然出现。
下面的另一个屏幕截图显示了我在包含路径中选择的文件夹。请注意，在“ide-> Phpstorm”下，我看不到任何其他文件或目录。
SO中的其他答案使用Phalcon devtools的后备版本。
如何删除消息并让 PhpStorm 巧妙地处理 Phalcon？