From: Christoph M. Becker <cmbecker69@gmx.de>
Date: Wed, 29 Nov 2017 15:53:11 +0000 (+0100)
Subject: Merge branch 'PHP-7.0' into PHP-7.1
X-Git-Tag: php-7.1.13RC1~11
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f166ea9c09df1824862589f2938ac0779661c8f6;p=php

Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Define floorf if system doesn't have it (follow up for 22c48761)
---

f166ea9c09df1824862589f2938ac0779661c8f6