<?php echo serialize([new DateTimeZone('Europe/Amsterdam'), 'a']);
You have javascript disabled. You will not be able to edit any code.