diff options
| author | William Martin <wimartin@php.net> | 2010-03-02 13:21:25 +0000 |
|---|---|---|
| committer | William Martin <wimartin@php.net> | 2010-03-02 13:21:25 +0000 |
| commit | acc80f0fc369f2e6b8f2715b9af269f0bb9d894a (patch) | |
| tree | bddb7db3e566546613fd84177c597e01083175ca /Zend/zend_execute_API.c | |
| parent | 772a84d5b949cfcfc07f918ff7318b8e511eb691 (diff) | |
| download | php-git-acc80f0fc369f2e6b8f2715b9af269f0bb9d894a.tar.gz | |
Added SKIP sections in case extension isn't enabled
Diffstat (limited to 'Zend/zend_execute_API.c')
0 files changed, 0 insertions, 0 deletions