public $options_getter = [
'timezone' => ['DateTimeZone', 'listIdentifiers'],
];
public $source_code = '
date_default_timezone_set(
$timezone // string $timezone
);
inject_function_call
// shows the date in a readable format
$date = date("c", $int);
';
public $synopsis = 'int mktime ([ int $hour = date("H") [, int $minute = date("i") [, int $second = date("s") [, int $month = date("n") [, int $day = date("j") [, int $year = date("Y") [, int $is_dst = -1 ]]]]]]] )';
public $synopsis_fixed = 'int mktime ([ int $hour ) [, int $minute ) [, int $second ) [, int $month ) [, int $day ) [, int $year ) [, int $is_dst = -1 ]]]]]]] )';
function post_exec_function()
{
$this->result['date'] = date("c", $this->result['int']);
}
function pre_exec_function()
{
if ($timezone = $this->_filter->filter_arg_value('timezone')) {
date_default_timezone_set($timezone);
}
}
}