[] (0) Define handling of bookmarklets.

git-svn-id: http://svn.whatwg.org/webapps@831 340c8d12-0b0e-0410-8428-c7bf67bfef74

index

@@ -25868,7 +25868,8 @@ at the first element with the given ID must be treated as if it was cloned and r
    <dt>If a script is a <a href="#the-javascript" title="javascript
     protocol"><code title="">javascript:</code> URI</a> to which a <a
     href="#browsing0">browsing context</a> is being <a href="#navigate"
-    title=navigate>navigated</a>, the URI having been declared in markup
+    title=navigate>navigated</a>, the URI having been declared in markup, or
+    provided by the user (e.g. by using a <i>bookmarklet</i>)
 
    <dd>The origin is the origin of the <code>Document</code> of the element
     (e.g. an <code><a href="#a">a</a></code> or <code><a

source

@@ -23378,7 +23378,8 @@ at the first element with the given ID must be treated as if it was cloned and r
    <dt>If a script is a <span title="javascript protocol"><code
    title="">javascript:</code> URI</span> to which a <span>browsing
    context</span> is being <span title="navigate">navigated</span>,
-   the URI having been declared in markup</dt>
+   the URI having been declared in markup, or provided by the user
+   (e.g. by using a <i>bookmarklet</i>)</dt>
 
    <dd>The origin is the origin of the <code>Document</code> of the
    element (e.g. an <code>a</code> or <code>area</code> element) that