Servers extends fix
Servers options phpdoc