Description:
------------
I installed ubuntu linux on my computer with Asia/Seoul timezone.
no problems with it. date command on cli show perfectly correct time.

however on php, date function(or object) shows the time of Pyongyang, unless I change date.timezone manually in php.ini.



Test script:
---------------
$ date

$ php -r "echo date('Y-m-d H:i:s');"

$ php -r "print_r(new Datetime());"


Expected result:
----------------
the default timezone of php should be followed the system setting correctly.

$ date
Wed Jul 19 20:12:05 KST 2017

$ php -r "echo date('Y-m-d H:i:s');"
2017-07-19 20:12:05

$ php -r "print_r(new Datetime());"
DateTime Object
(
    [date] => 2017-07-19 20:12:05.000000
    [timezone_type] => 3
    [timezone] => Asia/Seoul
)

Actual result:
--------------
$ date
Wed Jul 19 20:12:05 KST 2017

$ php -r "echo date('Y-m-d H:i:s');"
2017-07-19 19:42:01

$ php -r "print_r(new Datetime());"
DateTime Object
(
    [date] => 2017-07-19 19:42:21.000000
    [timezone_type] => 3
    [timezone] => Asia/Pyongyang
)