--- /php/php5-org/ext/standard/head.h	2005-06-23 22:54:12.000000000 +0200
+++ head.h	2005-06-23 23:28:26.000000000 +0200
@@ -29,6 +29,6 @@
 PHP_FUNCTION(headers_list);
 
 PHPAPI int php_header(TSRMLS_D);
-PHPAPI int php_setcookie(char *name, int name_len, char *value, int value_len, time_t expires, char *path, int path_len, char *domain, int domain_len, int secure, int url_encode TSRMLS_DC);
+PHPAPI int php_setcookie(char *name, int name_len, char *value, int value_len, time_t expires, char *path, int path_len, char *domain, int domain_len, int secure, int httponly, int url_encode TSRMLS_DC);
 
 #endif