post_install() {
  echo ">>>"
  echo ">>> To complete the installation you should edit /etc/php/php.ini"
  echo ">>> - Enable zip.so, sockets.so"
  echo ">>>"
  echo ">>> EXAMPLE:"
  echo ">>> extension=zip.so"
  echo ">>> extension=sockets.so"
}