diff options
| author | jvoisin | 2017-12-06 13:28:57 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-06 13:28:57 +0100 |
| commit | 75f876fca7587218fdbad9bd10bbe52825591ccc (patch) | |
| tree | 4ed3febcd8fbe676f5e65237f23e5c71c0546a08 /src/php_snuffleupagus.h | |
| parent | c5400b2789e6c69bdf245a6f24408c16fc0826fa (diff) | |
Vastly simplify the dumping of zval in `.dump`
Diffstat (limited to 'src/php_snuffleupagus.h')
| -rw-r--r-- | src/php_snuffleupagus.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/php_snuffleupagus.h b/src/php_snuffleupagus.h index c0790bc..2ad412d 100644 --- a/src/php_snuffleupagus.h +++ b/src/php_snuffleupagus.h | |||
| @@ -17,6 +17,7 @@ | |||
| 17 | 17 | ||
| 18 | #include "SAPI.h" | 18 | #include "SAPI.h" |
| 19 | #include "ext/standard/info.h" | 19 | #include "ext/standard/info.h" |
| 20 | #include "ext/standard/php_var.h" | ||
| 20 | #include "ext/pcre/php_pcre.h" | 21 | #include "ext/pcre/php_pcre.h" |
| 21 | #include "php.h" | 22 | #include "php.h" |
| 22 | #include "php_ini.h" | 23 | #include "php_ini.h" |