1--TEST--
2extending the same interface twice
3--FILE--
4<?php
5
6interface foo {
7}
8
9interface bar extends foo, foo {
10}
11
12echo "Done\n";
13?>
14--EXPECTF--
15Fatal error: Class bar cannot implement previously implemented interface foo in %s on line %d
16
