diff options
| -rw-r--r-- | grammars/web.bp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/grammars/web.bp b/grammars/web.bp index 0fb74f9..3e47eba 100644 --- a/grammars/web.bp +++ b/grammars/web.bp @@ -1,9 +1,9 @@ # This file defines some web-related patterns url: ( - "file://" +(`/ *url-char) - / "mailto:" email - / ("https"/"http"/"ftp") "://" [>..`@ +url-char [`: +url-char] `@] + ("https"/"http"/"ftp") "://" [>..`@ +url-char [`: +url-char] `@] (ipv4/ipv6/domain) [`: int] [url-path] + / "mailto:" email + / "file://" +(`/ *url-char) ) url-path: +(`/ *url-char) [`? +(+url-char`=+url-char)%`&] ipv4: 4 int % `. |