php-src/ext/reflection/config.w32

mirror of https://github.com/php/php-src.git synced 2024-09-28 13:26:11 +00:00
// $Id$
// vim:ft=javascript

ARG_ENABLE("reflection", "disable reflection support", "yes");

if (PHP_REFLECTION != "no") {
	EXTENSION("reflection", "php_reflection.c");
}
- Make this an extension 2005-11-17 22:42:00 +00:00			`// $Id$`
			`// vim:ft=javascript`

			`ARG_ENABLE("reflection", "disable reflection support", "yes");`

			`if (PHP_REFLECTION != "no") {`
- reflection not reflectino 2005-11-17 22:49:03 +00:00			`EXTENSION("reflection", "php_reflection.c");`
- Make this an extension 2005-11-17 22:42:00 +00:00			`}`