Merge pull request #10639 from neheb/php
authorMichael Heimpold <redacted>
Thu, 28 Nov 2019 21:50:52 +0000 (22:50 +0100)
committerGitHub <redacted>
Thu, 28 Nov 2019 21:50:52 +0000 (22:50 +0100)
commitac996093416a9c2d9269e558bbc657ec8989e807
tree5e9120e78c5134a79211176a59ff20f7c46d7990
parent18335dc4241a490ae9e0100355492da0c5012e4b
parent8015772fdb56f40477b955cf24d311cd75895918
Merge pull request #10639 from neheb/php

php7: Properly fix compilation without deprecated APIs
git clone https://git.99rst.org/PROJECT