Issue #2795489 by mpdonadio, cilefen, ednawig: 2038 bug with PHP timestamps on 32-bit systems - warn users?