post_install() {
  echo '
    ==> PHP72 extension

    A config file was stored under /etc/php72/conf.d/ with the extension enabled.
    '
}

post_upgrade() {
  post_install $1
}

# vim:set ts=2 sw=2 et:
