From: Christoph M. Becker <cmbecker69@gmx.de>
Date: Sun, 13 Aug 2017 18:53:32 +0000 (+0200)
Subject: Merge branch 'PHP-7.0' into PHP-7.1
X-Git-Tag: php-7.2.0beta3~18^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=207105b1a3844cf4d3fd5f17e17ddbd6804e1938;p=php

Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Fixed bug #73793 (WDDX uses wrong decimal seperator)
---

207105b1a3844cf4d3fd5f17e17ddbd6804e1938