mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
Removed ZEND_ACC_FINAL_CLASS which is unnecessary. This also fixed some currently defined classes as final which were just not being considered as such before.
This commit is contained in:
parent
5ad01e1d33
commit
094d409b3d
13 changed files with 18 additions and 19 deletions
|
@ -727,7 +727,7 @@ ZEND_API void zend_do_inheritance(zend_class_entry *ce, zend_class_entry *parent
|
|||
&& !(parent_ce->ce_flags & ZEND_ACC_INTERFACE)) {
|
||||
zend_error_noreturn(E_COMPILE_ERROR, "Interface %s may not inherit from class (%s)", ce->name->val, parent_ce->name->val);
|
||||
}
|
||||
if (parent_ce->ce_flags & ZEND_ACC_FINAL_CLASS) {
|
||||
if (parent_ce->ce_flags & ZEND_ACC_FINAL) {
|
||||
zend_error_noreturn(E_COMPILE_ERROR, "Class %s may not inherit from final class (%s)", ce->name->val, parent_ce->name->val);
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue