A new user interface for you! Read more...

File phalcon.ini of Package php5-phalcon

; comment out next line to disable %{pkg_name} extension in php
extension = phalcon.so