1--TEST--
2Cannot use non-public property hook in interface (whole property)
3--FILE--
4<?php
5
6interface I {
7 protected $prop { get; set; }
8}
9
10?>
11--EXPECTF--
12Fatal error: Property in interface cannot be protected or private in %s on line %d
13
