diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-02-01 16:08:31 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-02-01 16:08:31 +0100 |
commit | 4f187b8fbc4704b43c57de09ee68e4562910ec8e (patch) | |
tree | 4b2959db00210740580071295b00387b61191099 /sapi/phpdbg/phpdbg_prompt.c | |
parent | 4a4c68d90d8fac4c54932d356a156d000c9c684c (diff) | |
download | php-git-4f187b8fbc4704b43c57de09ee68e4562910ec8e.tar.gz |
Make session_cache_expire() arg an integer
This is logically an integer, and the function also returns the old
value as an integer. The fact that the integer needs to be converted
to a string for the ini assignment is an implementation detail.
Diffstat (limited to 'sapi/phpdbg/phpdbg_prompt.c')
0 files changed, 0 insertions, 0 deletions