phpdoc blocks for Server class