Hello all.
The Phalcon Team has always followed the practice of keeping all the stubs in the master branch, available for every release, new or old. This strategy allowed every developer to choose the stubs for the version they are working on and also offered an easy way of switching through stubs depending on the phalcon version of each project.
We have received numerous emails, requests, had long discussions with members of the community and there is also a PR in Github (a year old) to change the way the stubs are handled.
So to put this issue to rest, we decided to hold a poll (here) and let the community decide.
Thank you for your vote!