post_upgrade() {
  echo "-- Don't forget to run 'php7 maintenance/update.php' after upgrade"
}
