From: Benjamin Eberlei <kontakt@beberlei.de>
Date: Tue, 2 Feb 2021 19:30:01 +0000 (+0100)
Subject: [ci-skip] Merge branch 'PHP-8.0'
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c5f4c3dddbacbd7209b8cab9935e502604215a9f;p=php

[ci-skip] Merge branch 'PHP-8.0'
---

c5f4c3dddbacbd7209b8cab9935e502604215a9f