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