PHP – make timestamp from normal date/time string

Demo here.