diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2017-05-10 22:25:32 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2017-05-10 22:25:32 +0300 |
| commit | dfffe6cb32632d0eaeaa696aada62dc803542d66 (patch) | |
| tree | 56158348774d447a8ff3c3f39b31a8fef5c5a3ac /Zend/zend_execute_API.c | |
| parent | 5a9d8a00b475cbbe758d741df7e706859097309c (diff) | |
| download | php-git-dfffe6cb32632d0eaeaa696aada62dc803542d66.tar.gz | |
Type hint inheritance check optimization
Diffstat (limited to 'Zend/zend_execute_API.c')
0 files changed, 0 insertions, 0 deletions