<?php echo PHP_INT_SIZE == 8 ? "skip 32-bit only" : "OK"; ?>
32-bit only
Generated at Thu, 19 Apr 2018 02:25:01 +0000 (30 hours ago)