3v4l.org

run code in 300+ PHP versions simultaneously
<?php $a = "1385|1385|1385|1373|1373|1385|1373|1373|1373"; $b = explode("|", $a); $c = []; foreach($b as $id){ if (!in_array($id, $b)) $c[] = $id; } var_dump(join("|", $c));
Output for 7.2.29 - 7.2.33, 7.3.16 - 7.3.33, 7.4.4 - 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
string(0) ""
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 string(0) ""
preferences:
113.54 ms | 402 KiB | 135 Q