Online PHP editor | output for jprGG

@ 2016-11-24T14:53:12Z

<?php

$number = '(+0031)6 12 34 56 77';
$number = str_replace(['(', ' ', ')'], '',  $number);

// 0xxxxxxxxx
if (strlen($number) == 10) {
    if (0 === strpos($number,  '0')) {
        $result = true;
    }
    // 31xxxxxxxxx
} elseif (strlen($number) == 11) {
    if (0 === strpos($number,  '31')) {
        $result = true;
    }
    // +31xxxxxxxxx
} elseif (strlen($number) == 12) {
    if (0 === strpos($number, '+31')) {
        $result = true;
    }
    // 0031xxxxxxxxx
} elseif (strlen($number) == 13) {
    if (0 === strpos($number,  '0031')) {
        $result = true;
    }
}

var_dump($result);

Output for 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: Warning: Undefined variable $result in /in/jprGG on line 28 NULL
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 Warning: Undefined variable $result in /in/jprGG on line 28 NULL
Output for 5.6.0 - 5.6.28, 7.0.0 - 7.0.20, 7.1.0 - 7.1.25, 7.2.0 - 7.2.33, 7.3.0 - 7.3.31, 7.4.0 - 7.4.33: Notice: Undefined variable: result in /in/jprGG on line 28 NULL
Output for 7.3.32 - 7.3.33: NULL

preferences:dark modelive preview