diff options
author | Zeev Suraski <zeev@php.net> | 2000-04-28 13:03:13 +0000 |
---|---|---|
committer | Zeev Suraski <zeev@php.net> | 2000-04-28 13:03:13 +0000 |
commit | 3220bb570e2968b2d14460db0b9e7a5615592091 (patch) | |
tree | df437660dd8942df71dbe74e418d9a44dc50613e /ext/standard/head.h | |
parent | 5369a7b7b4fc806b421af2d36b813429c75aa2a8 (diff) | |
download | php-git-3220bb570e2968b2d14460db0b9e7a5615592091.tar.gz |
- Fix an invalid trick (it was valid when header() was using
zend_get_parameters(), but it became invalid when someone switched it
to zend_get_parameters_ex(), and I decided to remove it anyway).
- Remove a redundant function call
Diffstat (limited to 'ext/standard/head.h')
-rw-r--r-- | ext/standard/head.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ext/standard/head.h b/ext/standard/head.h index f8f89f9ef0..6207daa6fe 100644 --- a/ext/standard/head.h +++ b/ext/standard/head.h @@ -54,8 +54,6 @@ PHP_FUNCTION(Header); PHP_FUNCTION(setcookie); PHP_FUNCTION(headers_sent); -void php4i_add_header_information(char *header_information, uint header_length); - PHPAPI int php_header(void); int php_headers_unsent(void); |