distinction between server_timezone and php_timezone
fix wrong argument being passed to sed for setting php date.timezone
Merge pull request #370 from jtallant/master

Distinction between php timezone and server timezone