Merged GitHub PR #190: Support for the HTTP PATCH method in CLI webserver

This commit is contained in:
Lars Strojny 2012-09-18 22:16:51 +02:00
parent 1e1db9d9bb
commit aa133ea282
4 changed files with 50 additions and 0 deletions

View file

@ -80,6 +80,7 @@ enum php_http_method
, PHP_HTTP_HEAD
, PHP_HTTP_POST
, PHP_HTTP_PUT
, PHP_HTTP_PATCH
/* pathological */
, PHP_HTTP_CONNECT
, PHP_HTTP_OPTIONS