A PHP implementation of Javascript's setTimeout