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",