phpcov.install


1
2
3
4
5
6
7
8
9
10

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
}

post_upgrade() {
  post_install
}