diff options
Diffstat (limited to 'php/environs/lasso_server.c')
-rw-r--r-- | php/environs/lasso_server.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/php/environs/lasso_server.c b/php/environs/lasso_server.c index 15af83ab..d2355c64 100644 --- a/php/environs/lasso_server.c +++ b/php/environs/lasso_server.c @@ -102,7 +102,7 @@ PHP_FUNCTION(lasso_server_add_provider) { } /* }}} */ -/* {{{ proto string lasso_server_new(resource server) */ +/* {{{ proto string lasso_server_dump(resource server) */ PHP_FUNCTION(lasso_server_dump) { LassoServer *server; @@ -176,5 +176,3 @@ PHP_FUNCTION(lasso_server_new_from_dump) { ZEND_REGISTER_RESOURCE(return_value, server, le_lassoserver); } /* }}} */ - - |