feat: add PATCH command to fetch API for handling PATCH requests

Author: io-eric

docs/api/fetch.md

@@ -26,6 +26,14 @@ Initiates a POST request to the specified URL with the given body. Returns a han
 webcc::FetchRequest post(webcc::string_view url, webcc::string_view body);
 ```
 
+### `patch`
+
+Initiates a PATCH request to the specified URL with the given body. Returns a handle that identifies the request.
+
+```cpp
+webcc::FetchRequest patch(webcc::string_view url, webcc::string_view body);
+```
+
 ## Events
 
 Fetch operations are asynchronous. You must poll for events to receive the results.

schema.def

@@ -175,6 +175,7 @@ fetch|event|SUCCESS|handle(FetchRequest):id string:data
 fetch|event|ERROR|handle(FetchRequest):id string:error
 fetch|command|GET|get|string:url RET:handle(FetchRequest)|{ const id = (window.webcc_next_id = (window.webcc_next_id || 0) + 1); fetch(url).then(r => r.text().then(d => ({ ok: r.ok, status: r.status, statusText: r.statusText, data: d }))).then(res => { if(res.ok) push_event_fetch_SUCCESS(id, res.data); else push_event_fetch_ERROR(id, res.data && res.data.length ? res.data : (res.status + ' ' + res.statusText)); }).catch(e => push_event_fetch_ERROR(id, e.toString())); return id; }
 fetch|command|POST|post|string:url string:body RET:handle(FetchRequest)|{ const id = (window.webcc_next_id = (window.webcc_next_id || 0) + 1); fetch(url, { method: 'POST', body: body }).then(r => r.text().then(d => ({ ok: r.ok, status: r.status, statusText: r.statusText, data: d }))).then(res => { if(res.ok) push_event_fetch_SUCCESS(id, res.data); else push_event_fetch_ERROR(id, res.data && res.data.length ? res.data : (res.status + ' ' + res.statusText)); }).catch(e => push_event_fetch_ERROR(id, e.toString())); return id; }
+fetch|command|PATCH|patch|string:url string:body RET:handle(FetchRequest)|{ const id = (window.webcc_next_id = (window.webcc_next_id || 0) + 1); fetch(url, { method: 'PATCH', body: body }).then(r => r.text().then(d => ({ ok: r.ok, status: r.status, statusText: r.statusText, data: d }))).then(res => { if(res.ok) push_event_fetch_SUCCESS(id, res.data); else push_event_fetch_ERROR(id, res.data && res.data.length ? res.data : (res.status + ' ' + res.statusText)); }).catch(e => push_event_fetch_ERROR(id, e.toString())); return id; }
 
 # ------------------------------------------------------------------------------
 # IMAGES