<?php $users = array('blah'); $a = isset($users[0]) ?: null; var_dump($a);
You have javascript disabled. You will not be able to edit any code.