Remove @deprecated from wfTimestamp()