Ticket #36435: 36435-random.diff

wp-includes/random_compat/random.php

@@ -34 +34 @@
     $RandomCompatversion = explode('.', PHP_VERSION);
     define(
         'PHP_VERSION_ID',
-        $RandomCompatversion[0] * 10000
-        + $RandomCompatversion[1] * 100
-        + $RandomCompatversion[2]
+        (int) $RandomCompatversion[0] * 10000
+        + (int) $RandomCompatversion[1] * 100
+        + (int) $RandomCompatversion[2]
     );
     $RandomCompatversion = null;
 }