Online PHP editor | output for 0R3lH

@ 2017-03-23T10:24:55Z

<?php


class User {
    public function getZipCode($value)
    {
        return $value;
    }
}

$user = new User();
if (preg_match("/^[0-9]+$/",$user->getZipCode('489756'))) {
    $data['str'] = $user->getZipCode('489756');
}
if (preg_match("/^[0-9]+$/",$user->getZipCode(489756))) {
    $data['int'] = $user->getZipCode(489756);
}
if (preg_match("/^[0-9]+$/",$user->getZipCode('489756d'))) {
    $data['badStr1'] = $user->getZipCode('489756d');
}
var_dump($data);

Output for 7.0.0 - 7.0.20, 7.1.0 - 7.1.33, 7.2.0 - 7.2.33, 7.3.0 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.4, 8.3.6: array(2) { ["str"]=> string(6) "489756" ["int"]=> int(489756) }
Output for 8.3.5: Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0 array(2) { ["str"]=> string(6) "489756" ["int"]=> int(489756) }

preferences:dark modelive preview