Description:
------------
When opcache is enabled, including a file with an anonymous class multiple times causes the error message "Cannot declare class class@anonymous, because the name is already in use". When turning off opcache in the php.ini (setting opcache.enabled=0) the error message disappears.

Test script:
---------------
<?php
/** file anon.php */
$a = new class() { public $testvar = "Foo\n"; };
echo $a->testvar;

?>

<?php
/** file inlcude_test.php */
include("anon.php");
include("anon.php");

Expected result:
----------------
Foo
Foo


Actual result:
--------------
Foo
PHP Fatal error:  Cannot declare class class@anonymous, because the name is already in use in /var/www/anon.php on line 3