diff options
| author | Joost de Valk <joost@yoast.com> | 2016-06-26 19:04:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-26 19:04:42 +0200 |
| commit | c5988d1185a22541beece44b7099237005458b72 (patch) | |
| tree | 7e384186de9ea49e4b6d1c5c1592e6574d598547 | |
| parent | b243072b42b0ca38ceeb6342e25cb42117296ae0 (diff) | |
| download | random_compat-c5988d1185a22541beece44b7099237005458b72.zip random_compat-c5988d1185a22541beece44b7099237005458b72.tar.gz random_compat-c5988d1185a22541beece44b7099237005458b72.tar.bz2 | |
Update random.php
| -rw-r--r-- | lib/random.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/random.php b/lib/random.php index 3175a9c..20722a3 100644 --- a/lib/random.php +++ b/lib/random.php @@ -31,12 +31,12 @@ if (!defined('PHP_VERSION_ID')) { // This constant was introduced in PHP 5.2.7 - $RandomCompatversion = explode('.', PHP_VERSION); + $RandomCompatversion = array_map('intval', explode('.', PHP_VERSION)); define( 'PHP_VERSION_ID', - (int) $RandomCompatversion[0] * 10000 - + (int) $RandomCompatversion[1] * 100 - + (int) $RandomCompatversion[2] + $RandomCompatversion[0] * 10000 + + $RandomCompatversion[1] * 100 + + $RandomCompatversion[2] ); $RandomCompatversion = null; } |