Brand new to DO and getting my first server up and running - little by little... Have worked through the walk-through here (https://www.digitalocean.com/community/articles/how-to-install-and-get-started-with-phalcon-on-an-ubuntu-12-04-vps)
for getting Phalcon set up. Looks OK, no errors. I've added extension=phalcon.so to the php.ini file and restarted Apache, but I'm not seeing a phalcon section in the output from phpinfo(). Can't think what I've missed. I'm guessing the library has been installed in a non-standard location?
Any suggestions appreciated.