blob: 5f68dcd94b93ea84a3a577535cc0a618581bbed8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
--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
|
