sd_event_source_get_time_clock(glossar.html) - phpMan