Searched refs:php_os (Results 1 – 1 of 1) sorted by relevance
1828 char *php_os; in php_module_startup() local1843 php_os="WINNT"; in php_module_startup()1845 php_os="WIN32"; in php_module_startup()1858 php_os=PHP_OS; in php_module_startup()1972 REGISTER_MAIN_STRINGL_CONSTANT("PHP_OS", php_os, strlen(php_os), CONST_PERSISTENT | CONST_CS); in php_module_startup()
Completed in 12 milliseconds