1 2 3 4
post_upgrade() { echo "===> Update config.php with new configuration data from config.php-dist if necessary." echo " Update CONFIG_VERSION to the new version afterwards." }