wProductType      313 ext/standard/info.c 				if( osvi.wProductType == VER_NT_WORKSTATION ) {
wProductType      323 ext/standard/info.c 				if( osvi.wProductType == VER_NT_WORKSTATION ) {
wProductType      329 ext/standard/info.c 				if( osvi.wProductType == VER_NT_WORKSTATION )  {
wProductType      359 ext/standard/info.c 					if( osvi.wProductType == VER_NT_WORKSTATION )  {
wProductType      365 ext/standard/info.c 					if( osvi.wProductType == VER_NT_WORKSTATION )  {
wProductType      372 ext/standard/info.c 				if( osvi.wProductType == VER_NT_WORKSTATION )  {
wProductType     2144 main/main.c    	REGISTER_MAIN_LONG_CONSTANT("PHP_WINDOWS_VERSION_PRODUCTTYPE", EG(windows_version_info).wProductType, CONST_PERSISTENT | CONST_CS);