I did everything described here (for OS X) https://docs.phalcon.io/en/latest/reference/install.html#mac-os-x and https://phalcon.io/en/download
I also added extension=phalcon.so to the php.ini and restarted the webserver. I copied the compiled lib to /Applications/XAMPP/xamppfiles/lib/php/extensions
But when I search for "phalcon" in phpinfo there is no entry, so phalocn was not installed. Has anyone an idea what I can do to fix this problem?
PS: I use xampp as web server (PHP Version 5.5).