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