[html5] r831 - /

[whatwg at whatwg.org]

Author: ianh
Date: 2007-05-19 01:45:23 -0700 (Sat, 19 May 2007)
New Revision: 831

Modified:
   index
   source
Log:
[] (0) Define handling of bookmarklets.

Modified: index
===================================================================
--- index	2007-05-19 07:29:22 UTC (rev 830)
+++ index	2007-05-19 08:45:23 UTC (rev 831)
@@ -25868,7 +25868,8 @@
    <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

Modified: source
===================================================================
--- source	2007-05-19 07:29:22 UTC (rev 830)
+++ source	2007-05-19 08:45:23 UTC (rev 831)
@@ -23378,7 +23378,8 @@
    <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