I currently have the phalcon extension extension=phalcon.so residing in /etc/php5/apache2/php.ini, but whe I try to install the dev tools it says that
[email protected]:~/phalcon-devtools$ . ./phalcon.sh ERROR: Phalcon extension isn't installed, follow these instructions to install it: https://docs.phalcon.io/en/latest/reference/install.html
it's clearly installed in /etc/php5/apache2/php.ini and I've restarted the server several times.......