Using phpenv for modules in php.ini