From: Dmitry Stogov <dmitry@zend.com>
Date: Thu, 14 Apr 2016 13:08:54 +0000 (+0300)
Subject: Merge branch 'master' of git.php.net:php-src
X-Git-Tag: php-7.1.0alpha1~323
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d57505e23451549fd273a7bafb7bb6f655113fee;p=php

Merge branch 'master' of git.php.net:php-src

* 'master' of git.php.net:php-src:
  Fixed bug #72014 (Including a file with anonymous classes multiple times leads to fatal error)
---

d57505e23451549fd273a7bafb7bb6f655113fee