generate php.ini