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" }