post_install() {
  if php -i | grep 'date.timezone => no value => no value' >/dev/null 2>&1; then
      echo -e "Warning: The date.timezone setting must be set in your php.ini"
      echo -e "You may use \"sed -i 's/;date.timezone =/date.timezone = Europe\/Berlin/g' /etc/php/php.ini\" to change your configuration"
  fi
  echo "Note: You should load /usr/share/webapps/bin/phpunit.phar in your IDE"
}

post_upgrade() {
  post_install
}