<?php $s = [12 => 33]; var_dump(empty($s[12]));
You have javascript disabled. You will not be able to edit any code.