diff options
| author | Michael Heimpold <mhei@heimpold.de> | 2019-11-28 22:50:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-28 22:50:52 +0100 |
| commit | ac996093416a9c2d9269e558bbc657ec8989e807 (patch) | |
| tree | 5e9120e78c5134a79211176a59ff20f7c46d7990 /net | |
| parent | 18335dc4241a490ae9e0100355492da0c5012e4b (diff) | |
| parent | 8015772fdb56f40477b955cf24d311cd75895918 (diff) | |
Merge pull request #10639 from neheb/php
php7: Properly fix compilation without deprecated APIs
Diffstat (limited to 'net')
0 files changed, 0 insertions, 0 deletions