sd_event_source_get_time_clock(phpman.html) - phpMan