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