<?php $date = new DateTime; var_dump(!$date instanceof DateTime); var_dump(!$date instanceof DateTimeZone);
You have javascript disabled. You will not be able to edit any code.