Fix 'PHP_EXTNAME_SHARED' is undefined

TBK · web-flow · commit a4c5eee8cd14 · 2018-12-11T09:20:37.000+01:00
diff --git a/config.w32 b/config.w32
@@ -4,6 +4,6 @@
 ARG_WITH("vips", "for vips support", "no");
 
 if (PHP_VIPS != "no") {
-  EXTENSION("vips", "vips.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
+  EXTENSION("vips", "vips.c", PHP_VIPS_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
 }
 

Original file line number	Diff line number	Diff line change
`@@ -4,6 +4,6 @@`
`4`	`4`	`ARG_WITH("vips", "for vips support", "no");`
`5`	`5`
`6`	`6`	`if (PHP_VIPS != "no") {`
`7`		`- EXTENSION("vips", "vips.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");`
	`7`	`+ EXTENSION("vips", "vips.c", PHP_VIPS_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");`
`8`	`8`	`}`
`9`	`9`