#4 mktime is_dst deprecated

[Benjamin Oshrin]

As of PHP 5.1.0, the mktime is_dst paramater is deprecated. See

http://www.php.net/manual/en/function.mktime.php

This is used in schedule-op-handler.php.