SSH2: add phpdoc header