From b281e6f7176c48b4bdeefd13135a090e3d7ae5f3 Mon Sep 17 00:00:00 2001 From: Caleb Maclennan Date: Thu, 9 Nov 2023 14:38:43 +0300 Subject: [PATCH] docs: Remove params documentation --- docs/url.html | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs/url.html b/docs/url.html index 6ff673d..0673ac2 100644 --- a/docs/url.html +++ b/docs/url.html @@ -60,7 +60,7 @@ An URL is defined by the following grammar:
-<url> ::= [<scheme>:][//<authority>][/<path>][;<params>][?<query>][#<fragment>]
+<url> ::= [<scheme>:][//<authority>][/<path>][?<query>][#<fragment>]
<authority> ::= [<userinfo>@]<host>[:<port>]
<userinfo> ::= <user>[:<password>]
<path> ::= {<segment>/}<segment>
@@ -225,7 +225,6 @@ parsed_url = {
  scheme = string,
  authority = string,
  path = string,
-  params = string,
  query = string,
  fragment = string,
  userinfo = string,
@@ -255,7 +254,6 @@ parsed_url = url.parse("ftp://root:passwd@unsafe.org/pub/virus.exe;type=i") -- scheme = "ftp", -- authority = "root:passwd@unsafe.org", -- path = "/pub/virus.exe", --- params = "type=i", -- userinfo = "root:passwd", -- host = "unsafe.org", -- user = "root",