]> granicus.if.org Git - php/commit
Merge branch 'pull-request/2261'
authorJoe Watkins <krakjoe@php.net>
Sun, 1 Jan 2017 06:44:14 +0000 (06:44 +0000)
committerJoe Watkins <krakjoe@php.net>
Sun, 1 Jan 2017 06:44:14 +0000 (06:44 +0000)
commit15b80f105cdb9a9210edd9dff7109f0951c843f4
treea1d282f45824bd64c9b62ff3f4561a663ce7db95
parent61a43195f5578c33105ca5a0a097a9d974e479f6
parente10425fe8be2b900af778c85ed823a31d96f8d24
Merge branch 'pull-request/2261'

* pull-request/2261:
  Add PHPAPI php_session_flush and php_session_destroy
ext/session/php_session.h