diff options
Diffstat (limited to 'main/streams/php_stream_userspace.h')
| -rw-r--r-- | main/streams/php_stream_userspace.h | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/main/streams/php_stream_userspace.h b/main/streams/php_stream_userspace.h index 19eb1d8353..1324d70da0 100644 --- a/main/streams/php_stream_userspace.h +++ b/main/streams/php_stream_userspace.h @@ -16,12 +16,9 @@ +----------------------------------------------------------------------+ */ -/* $Id$ */ - - /* for user-space streams */ -PHPAPI extern php_stream_ops php_stream_userspace_ops; -PHPAPI extern php_stream_ops php_stream_userspace_dir_ops; +PHPAPI extern const php_stream_ops php_stream_userspace_ops; +PHPAPI extern const php_stream_ops php_stream_userspace_dir_ops; #define PHP_STREAM_IS_USERSPACE &php_stream_userspace_ops #define PHP_STREAM_IS_USERSPACE_DIR &php_stream_userspace_dir_ops |