fix php error: correct name for time function