post_upgrade() {
    echo "===> Update config.php with new configuration data from config.php-dist if necessary."
}
