<?php
$a = array();
$a['10'] = 'abc';
$a['a'] = 'cde';
foreach ($a as $k=>$v) {
if ($k === '10') {
echo "found";
}
}
//The above code the '10' key gets silently gets converted to integer key 10. So when iterating over the dictionary using the keys, the key is never '10'.
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
Output for 5.1.0
Fatal error: fatal flex scanner internal error--end of buffer missed in /in/GIn4Kt on line 12
Process exited with code 255.