Make WordPress Core

Ticket #36435: 36435-random.diff

File 36435-random.diff, 636 bytes (added by joostdevalk, 9 years ago)

Patch for compat/random.php

  • wp-includes/random_compat/random.php

     
    3434    $RandomCompatversion = explode('.', PHP_VERSION);
    3535    define(
    3636        'PHP_VERSION_ID',
    37         $RandomCompatversion[0] * 10000
    38         + $RandomCompatversion[1] * 100
    39         + $RandomCompatversion[2]
     37        (int) $RandomCompatversion[0] * 10000
     38        + (int) $RandomCompatversion[1] * 100
     39        + (int) $RandomCompatversion[2]
    4040    );
    4141    $RandomCompatversion = null;
    4242}