diff options
| author | Joe Watkins <krakjoe@php.net> | 2017-01-01 06:44:14 +0000 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2017-01-01 06:44:14 +0000 |
| commit | 15b80f105cdb9a9210edd9dff7109f0951c843f4 (patch) | |
| tree | a1d282f45824bd64c9b62ff3f4561a663ce7db95 /main/php_variables.c | |
| parent | 61a43195f5578c33105ca5a0a097a9d974e479f6 (diff) | |
| parent | e10425fe8be2b900af778c85ed823a31d96f8d24 (diff) | |
| download | php-git-15b80f105cdb9a9210edd9dff7109f0951c843f4.tar.gz | |
Merge branch 'pull-request/2261'
* pull-request/2261:
Add PHPAPI php_session_flush and php_session_destroy
Diffstat (limited to 'main/php_variables.c')
0 files changed, 0 insertions, 0 deletions