Ticket #36435: 36435-random.diff
File 36435-random.diff, 636 bytes (added by , 9 years ago) |
---|
-
wp-includes/random_compat/random.php
34 34 $RandomCompatversion = explode('.', PHP_VERSION); 35 35 define( 36 36 'PHP_VERSION_ID', 37 $RandomCompatversion[0] * 1000038 + $RandomCompatversion[1] * 10039 + $RandomCompatversion[2]37 (int) $RandomCompatversion[0] * 10000 38 + (int) $RandomCompatversion[1] * 100 39 + (int) $RandomCompatversion[2] 40 40 ); 41 41 $RandomCompatversion = null; 42 42 }