Phalcon depends on PHP hash extension