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"
  echo ">>>"
  echo ">>> To enable the GUI make sure you install php-gtk from aur"
}
