PHPのDateTimeで正確な日本時間を取得する方法

Question

前提・実現したいこと

日本時間をDateTimeで取得したい。

発生している問題・エラーメッセージ

10月12日の16:00に出力しているのに
string(19) "October 11 17:10 Asia/Tokyo"
と正確な日時が表示されない

該当のソースコード

<?php
$today=new DateTime();
$today->setTimeZone(new DateTimeZone('Asia/Tokyo'));
var_dump($today->format('F d H:i e'));

試したこと

DateTimeの引数に'today'や'now'を入れてもみましたが、正確な日時は表示されませんでした。

補足情報（FW/ツールのバージョンなど）

Comments

[otn]

system("date");
を追加すると、どうなりますか？

[ryo12su29kel]

2019年 10月 11日 金曜日 17:27:30 JST
と表示されました。（10/12 16:18 現在）
11時間程度のズレがあるようです...

[otn]

ということで、PHPとは無関係ですね。
OS環境を見直してはどうでしょうか？
あるいは、そもそもの時刻がずれているとか？

[ryo12su29kel]

PCの時刻は正確のようです。
ローカル開発環境の問題でしょうか？
VagrantとCentOSを使用しています。

[otn]

ゲストOSの時刻が合ってないだけでは？

[ryo12su29kel]

puttyでvagrantにログインした状態でdateコマンドをしたところ、
DateTimeで出力したのと同じ時刻が表示されました。
putty側でホストと時刻を一致させる操作ができるか調べてみます。

Answer 1

ゲストOSとホストOSの時刻が同期されていませんでした。
ローカル開発環境でnptをインストールして同期ができました。