I compiled Phalcon using the instructions on the site, added extension = phalcon.so to the end of my php.ini file. I restarted the server but when I run print_r(get_loaded_extensions());
Phalcon isn't there.
I'm using nginx on Ubuntu, if that matters.