PHP Detectar el horario de verano

date_default_timezone_set('Europe/London');
$bool = date('I'); // this will be 1 in DST or else 0
Half Unicorn, Half Potato