I have a php time "09:00" that I want to set as the time for a date.
$date="2016-08-21 00:00:00.000000";
$time="09:00";
So ideally:
$datetime=$date+$time;//<----------what is the function for this
echo $datetime;
gives "2016-08-21 09:00:00.000000"
or
$date="2016-08-21 00:00:00.000000";
$time="17:30";
then
$datetime=$date+$time;//<----------what is the function for this
echo $datetime;
gives "2016-08-21 17:30:00.000000". A seemingly simple requirement I cannot find a solution to.