const e="writeDocument",t="Write (replace) the entire document content with new HTML",r=[{name:"html",type:"string",description:"HTML content to set as the document",required:!0}],n=!0;export{t as description,e as name,r as parameters,n as requiresPermission};