1,第一步: 请去这个github地址看一下,这个是官方新建的IDE提示仓库,下载下来找个合适的文件夹解压放好就好了

https://github.com/phalcon/ide-stubs
下载下来名字叫 ide-stubs-master
另一种方式,就是composer下载或者git的方式

2,第二步:把下载的包引入到phpstorm中

image.png
image.png
image.png