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