diff options
Diffstat (limited to 'config.w32')
| -rw-r--r-- | config.w32 | 2 |
1 files changed, 0 insertions, 2 deletions
| @@ -1,4 +1,3 @@ | |||
| 1 | // $Id$ | ||
| 2 | // vim:ft=javascript | 1 | // vim:ft=javascript |
| 3 | 2 | ||
| 4 | // If your extension references something external, use ARG_WITH | 3 | // If your extension references something external, use ARG_WITH |
| @@ -10,4 +9,3 @@ | |||
| 10 | if (PHP_SUHOSIN7 != "no") { | 9 | if (PHP_SUHOSIN7 != "no") { |
| 11 | EXTENSION("suhosin7", "suhosin7.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_ACHE=1"); | 10 | EXTENSION("suhosin7", "suhosin7.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_ACHE=1"); |
| 12 | } | 11 | } |
| 13 | |||
