E dire che avevo anche messo in grassetto la parola case-insensitive ...

Edit:
... nel caso non lo sapessi, al mio paese significa che:

Codice PHP:
<pre>
<?php 
var_dump
(null);
var_dump(NULL);
var_dump(NUll);
var_dump(nuLL);
var_dump(NuLl);
?>
</pre>