`if (null !== $timestamp) {`