diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2017-12-14 18:43:44 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2017-12-14 18:43:44 +0300 |
| commit | 9e709e2fa02b85d0d10c864d6c996e3368e977ce (patch) | |
| tree | 148bedd2674933ba40e59f15fcfa2981f7aead85 /main/main.c | |
| parent | 71eaf0d97f173093253163db8c4720bd62387e34 (diff) | |
| download | php-git-9e709e2fa02b85d0d10c864d6c996e3368e977ce.tar.gz | |
Move constants into read-only data segment
Diffstat (limited to 'main/main.c')
| -rw-r--r-- | main/main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/main/main.c b/main/main.c index 99cb6612d4..8842f8f86f 100644 --- a/main/main.c +++ b/main/main.c @@ -1873,9 +1873,9 @@ PHP_MINFO_FUNCTION(php_core) { /* {{{ */ /* {{{ php_register_extensions */ -int php_register_extensions(zend_module_entry **ptr, int count) +int php_register_extensions(zend_module_entry * const * ptr, int count) { - zend_module_entry **end = ptr + count; + zend_module_entry * const * end = ptr + count; while (ptr < end) { if (*ptr) { |