From: Joe Watkins <krakjoe@php.net>
Date: Sun, 1 Jan 2017 06:44:14 +0000 (+0000)
Subject: Merge branch 'pull-request/2261'
X-Git-Tag: php-7.2.0alpha1~703
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=15b80f105cdb9a9210edd9dff7109f0951c843f4;p=php

Merge branch 'pull-request/2261'

* pull-request/2261:
  Add PHPAPI php_session_flush and php_session_destroy
---

15b80f105cdb9a9210edd9dff7109f0951c843f4