diff options
Diffstat (limited to 'tests/classes/class_final.phpt')
| -rwxr-xr-x | tests/classes/class_final.phpt | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/tests/classes/class_final.phpt b/tests/classes/class_final.phpt deleted file mode 100755 index 5f68dcd94b..0000000000 --- a/tests/classes/class_final.phpt +++ /dev/null @@ -1,25 +0,0 @@ ---TEST-- -A final class cannot be inherited ---SKIPIF-- -<?php if (version_compare(zend_version(), '2.0.0-dev', '<')) die('skip ZendEngine 2 needed'); ?> ---FILE-- -<?php - -final class base { - function show() { - echo "base\n"; - } -} - -$t = new base(); -$t->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 |