I am trying to integrate the Phalcon developer tools with phpstorm. There is a video here, but I am unable to view it due to my location.
I can\'t find any other usable
It has since been changed,
"As part of our restructuring and working towards a better more robust framework in terms of features as well as organization, we have removed the IDE stubs from the Phalcon DevTools repository and moved to its own repository."
The new instructions are located here: https://blog.phalconphp.com/post/phalcon-ide-stubs-repository