From: Benjamin Eberlei <kontakt@beberlei.de>
Date: Sat, 9 Nov 2019 14:16:09 +0000 (+0100)
Subject: Merge branch 'dom-arginfo-stubs'
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=ee80567a83b5092b48b5ef00a16cdb73db4ef25a;p=php

Merge branch 'dom-arginfo-stubs'
---

ee80567a83b5092b48b5ef00a16cdb73db4ef25a