PHP 7.3.2が間違った時刻を表示し、タイムゾーンを無視するのはなぜですか？
数時間前にPHP 7.3.2に更新したので（PHP 7.3.2-1 + 0〜20190207180136.30 + stretch〜1.gbp501c1c）、PHPは常に表示されます「date」関数を呼び出すときに間違った時間を取得しましたタイムゾーンを「Europe/Berlin」に設定し、「phpinfo」で確認しました。
「date_default_timezone_set」を使用してタイムゾーンスクリプトでを指定してから「date」関数を呼び出しても、09：20ではなく08:20が表示されます（1時間の差 ）、したがってUTC + 1ではなくUTC ..
私は、それがPHP 7.3.2バグである必要があると思います。設定したタイムゾーンに関係なく、phpが出力する時間は常に同じ（UTC）です。サーバー上のシステム時間（ Debian 9）は正しく、この問題を異なるサーバーに更新した直後にPHP 7.3.2。
他の誰かがこの問題を抱えていますか、これはすでに既知の問題ですか？
インストールしたディストリビューション/リポジトリ/方法に依存しているように見える既知の問題があるようですPHPタイムゾーンの使用に関して。