diff --git a/tests/classes/class_final.phpt b/tests/classes/class_final.phpt new file mode 100755 index 00000000000..5f68dcd94b9 --- /dev/null +++ b/tests/classes/class_final.phpt @@ -0,0 +1,25 @@ +--TEST-- +A final class cannot be inherited +--SKIPIF-- + +--FILE-- +show(); + +class derived extends base { +} + +echo "Done\n"; // shouldn't be displayed +?> +--EXPECTF-- +base + +Fatal error: Class derived may not inherit from final class (base) in %s on line %d