post_install() {
echo
echo "********"
echo "PHP 7.2 reaches its end of life and is no longer supported afterwards."
echo "Please consider migrating to a newer version of PHP."
echo "********"
echo
}
