1--TEST-- 2Bug GH-9165 (strtotime translates a date-time with DST/non-DST hour differently based on default timezone) 3--FILE-- 4<?php 5date_default_timezone_set('America/Lower_Princes'); 6echo strtotime("2018-10-28 01:00:00 Europe/London") . PHP_EOL; 7 8date_default_timezone_set('Europe/London'); 9echo strtotime("2018-10-28 01:00:00 Europe/London"). PHP_EOL; 10 11date_default_timezone_set('America/Lower_Princes'); 12echo strtotime("2018-10-28 04:00:00 Europe/London") . PHP_EOL; 13 14date_default_timezone_set('Europe/London'); 15echo strtotime("2018-10-28 04:00:00 Europe/London"). PHP_EOL; 16?> 17--EXPECT-- 181540684800 191540684800 201540699200 211540699200 22
