jenkins-bot has submitted this change and it was merged.
Change subject: Set default timezone to UTC for PHP
......................................................................
Set default timezone to UTC for PHP
php packages from Debian do not set this, nor does PHP upstream.
Lots of things depend on a default timezone existing and behave
poorly when they don't.
MediaWiki has long since worked around this but we can at least
give people a sane working environment.
UTC because there's other timezones? :)
Change-Id: I17c31fb59964915aa6848058c81d031e05fd48bc
---
M puppet/modules/php/manifests/init.pp
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/puppet/modules/php/manifests/init.pp
b/puppet/modules/php/manifests/init.pp
index 99b5b41..8510c27 100644
--- a/puppet/modules/php/manifests/init.pp
+++ b/puppet/modules/php/manifests/init.pp
@@ -56,6 +56,10 @@
}
}
+ php::ini { 'date_timezone':
+ settings => { 'date.timezone' => 'UTC' },
+ }
+
php::ini { 'session_defaults':
settings => { 'session.save_path' => '/tmp' },
}
--
To view, visit https://gerrit.wikimedia.org/r/180262
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I17c31fb59964915aa6848058c81d031e05fd48bc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
