1--TEST-- 2Trying use name of an internal class as interface name 3--FILE-- 4<?php 5 6interface stdClass { } 7 8?> 9--EXPECTF-- 10Fatal error: Cannot declare interface stdClass, because the name is already in use in %s on line %d 11
