diff options
Diffstat (limited to 'phpcov.install')
-rw-r--r-- | phpcov.install | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/phpcov.install b/phpcov.install index 55c57b216ffc..0361ce6825a1 100644 --- a/phpcov.install +++ b/phpcov.install @@ -1,6 +1,8 @@ post_install() { - echo - echo "Warning: phar.so must be enabled and date.timezone set in your php.ini" + 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() { |