Remove insertion of phalcon extension on php.ini