<?php $array = array('1234'); var_dump(isset($array['servers']));
You have javascript disabled. You will not be able to edit any code.