Fix a Doctum 5.3.0-dev phpdoc reported error

This commit is contained in:
William Desportes 2020-12-19 21:28:29 +01:00
parent c21147a5bd
commit 1f66009c1b
No known key found for this signature in database
GPG Key ID: 90A0EF1B8251A889

View File

@ -2705,7 +2705,7 @@ class Net_SSH2
*
* Sends an SSH2_MSG_IGNORE message every x seconds, if x is a positive non-zero number.
*
* @param mixed $timeout
* @param int $interval
* @access public
*/
function setKeepAlive($interval)