PHP_HTTP_API const char *php_http_request_method_name(php_http_request_method_t meth)
{
if (meth > PHP_HTTP_NO_REQUEST_METHOD && meth < PHP_HTTP_MAX_REQUEST_METHOD) {
PHP_HTTP_API const char *php_http_request_method_name(php_http_request_method_t meth)
{
if (meth > PHP_HTTP_NO_REQUEST_METHOD && meth < PHP_HTTP_MAX_REQUEST_METHOD) {