php_cli_server_get_system_time  233 sapi/cli/php_cli_server.c int php_cli_server_get_system_time(char *buf) {
php_cli_server_get_system_time  249 sapi/cli/php_cli_server.c int php_cli_server_get_system_time(char *buf) {