[giow] (3) navigator.javaEnabled

Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=22557 Affected topics: DOM APIs git-svn-id: http://svn.whatwg.org/webapps@8040 340c8d12-0b0e-0410-8428-c7bf67bfef74
whatwg · Jul 9, 2013 · 27f6519 · 27f6519
1 parent f4cd3a4
commit 27f6519
Show file tree

Hide file tree

Showing 3 changed files with 59 additions and 30 deletions.
diff --git a/complete.html b/complete.html
@@ -73948,10 +73948,7 @@ <h4 id=the-navigator-object><span class=secno>7.5.1 </span>The <code><a href=#na
 <a href=#navigator>Navigator</a> implements <a href=#navigatorplugins>NavigatorPlugins</a>;</pre>
 
 <!-- v2:
-  cookieEnabled geolocator javaEnabled mozIsLocallyAvailable preference
-  readonly attribute <span>MimeTypeArray</span> <span title="dom-navigator-mimeTypes">mimeTypes</span>;
-  readonly attribute <span>PluginArray</span> <span title="dom-navigator-plugins">plugins</span>;
-  (the latter is used in a <video> element demo now, so we might need to pull this forward from v2!)
+  geolocator mozIsLocallyAvailable preference
 -->
 
   <div class=impl>
@@ -74697,6 +74694,7 @@ <h5 id=plugins-0><span class=secno>7.5.1.5 </span>Plugins</h5>
 interface <dfn id=navigatorplugins>NavigatorPlugins</dfn> {
   readonly attribute <a href=#pluginarray>PluginArray</a> <a href=#dom-navigator-plugins title=dom-navigator-plugins>plugins</a>;
   readonly attribute <a href=#mimetypearray>MimeTypeArray</a> <a href=#dom-navigator-mimetypes title=dom-navigator-mimeTypes>mimeTypes</a>;
+  readonly attribute boolean <a href=#dom-navigator-javaenabled title=dom-navigator-javaEnabled>javaEnabled</a>;
 };
 
 interface <dfn id=pluginarray>PluginArray</dfn> {
@@ -74728,25 +74726,25 @@ <h5 id=plugins-0><span class=secno>7.5.1.5 </span>Plugins</h5>
   readonly attribute <a href=#dom-plugin title=dom-Plugin>Plugin</a> <a href=#dom-mimetype-enabledplugin title=dom-MimeType-enabledPlugin>enabledPlugin</a>;
 };</pre>
 
-  <dl class=domintro><dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code> . <code title=dom-PluginArray-refresh><a href=#dom-pluginarray-refresh>refresh</a></code>( [ <var title="">refresh</var> ] )</dt>
+  <dl class=domintro><dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code> . <code title=dom-PluginArray-refresh><a href=#dom-pluginarray-refresh>refresh</a></code>( [ <var title="">refresh</var> ] )</dt>
    <dd>
     <p>Updates the lists of supported plugins and MIME types for this page, and reloads the page if the lists have changed.</p>
     <!-- that's not quite what all browsers have always done -->
    </dd>
 
-   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code> . <code title=dom-PluginArray-length><a href=#dom-pluginarray-length>length</a></code></dt>
+   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code> . <code title=dom-PluginArray-length><a href=#dom-pluginarray-length>length</a></code></dt>
    <dd>
     <p>Returns the number of plugins, represented by <code title=dom-Plugin><a href=#dom-plugin>Plugin</a></code> objects, that the user agent reports.</p>
    </dd>
 
-   <dt><var title="">plugin</var> = <var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code> . <code title=dom-PluginArray-item><a href=#dom-pluginarray-item>item</a></code>(<var title="">index</var>)</dt>
-   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code>[<var title="">index</var>]</dt>
+   <dt><var title="">plugin</var> = <var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code> . <code title=dom-PluginArray-item><a href=#dom-pluginarray-item>item</a></code>(<var title="">index</var>)</dt>
+   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code>[<var title="">index</var>]</dt>
    <dd>
     <p>Returns the specified <code title=dom-Plugin><a href=#dom-plugin>Plugin</a></code> object.</p>
    </dd>
 
-   <dt><var title="">plugin</var> = <var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code> . <code title=dom-PluginArray-item><a href=#dom-pluginarray-item>item</a></code>(<var title="">name</var>)</dt>
-   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code>[<var title="">name</var>]</dt>
+   <dt><var title="">plugin</var> = <var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code> . <code title=dom-PluginArray-item><a href=#dom-pluginarray-item>item</a></code>(<var title="">name</var>)</dt>
+   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code>[<var title="">name</var>]</dt>
    <dd>
     <p>Returns the <code title=dom-Plugin><a href=#dom-plugin>Plugin</a></code> object for the plugin with the given name.</p>
    </dd>
@@ -74820,6 +74818,11 @@ <h5 id=plugins-0><span class=secno>7.5.1.5 </span>Plugins</h5>
     <p>Returns the <code title=dom-Plugin><a href=#dom-plugin>Plugin</a></code> object that implements this MIME type.</p>
    </dd>
 
+   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-javaEnabled><a href=#dom-navigator-javaenabled>javaEnabled</a></code></dt>
+   <dd>
+    <p>Returns true if there's a plugin that supports the MIME type "<code title="">application/x-java-vm</code>".</p>
+   </dd>
+
   </dl><div class=impl>
 
   <p>The <dfn id=dom-navigator-plugins title=dom-navigator-plugins><code>navigator.plugins</code></dfn> attribute must
@@ -75061,6 +75064,12 @@ <h5 id=plugins-0><span class=secno>7.5.1.5 </span>Plugins</h5>
   object represents when this object was last created or updated by <code title=dom-PluginArray-refresh><a href=#dom-pluginarray-refresh>PluginArray.refresh()</a></code>, whichever happened most
   recently.</p>
 
+  <hr><p>The <dfn id=dom-navigator-javaenabled title=dom-navigator-javaEnabled><code>navigator.javaEnabled</code></dfn> attribute
+  must return true if the user agent supports a <a href=#plugin>plugin</a> that supports the <a href=#mime-type>MIME
+  type</a> "<code title="">application/x-java-vm</code>".
+  <a href=#fingerprinting-vector class=fingerprint title="fingerprinting vector"><img src=http://images.whatwg.org/fingerprint.png width=46 alt="(This is a fingerprinting vector.)" height=64></a>
+  </p>
+
   </div>
 
 

diff --git a/index b/index
@@ -73948,10 +73948,7 @@ setTimeout({ toString: function () {
 <a href=#navigator>Navigator</a> implements <a href=#navigatorplugins>NavigatorPlugins</a>;</pre>
 
 <!-- v2:
-  cookieEnabled geolocator javaEnabled mozIsLocallyAvailable preference
-  readonly attribute <span>MimeTypeArray</span> <span title="dom-navigator-mimeTypes">mimeTypes</span>;
-  readonly attribute <span>PluginArray</span> <span title="dom-navigator-plugins">plugins</span>;
-  (the latter is used in a <video> element demo now, so we might need to pull this forward from v2!)
+  geolocator mozIsLocallyAvailable preference
 -->
 
   <div class=impl>
@@ -74697,6 +74694,7 @@ interface <dfn id=navigatorstorageutils>NavigatorStorageUtils</dfn> {
 interface <dfn id=navigatorplugins>NavigatorPlugins</dfn> {
   readonly attribute <a href=#pluginarray>PluginArray</a> <a href=#dom-navigator-plugins title=dom-navigator-plugins>plugins</a>;
   readonly attribute <a href=#mimetypearray>MimeTypeArray</a> <a href=#dom-navigator-mimetypes title=dom-navigator-mimeTypes>mimeTypes</a>;
+  readonly attribute boolean <a href=#dom-navigator-javaenabled title=dom-navigator-javaEnabled>javaEnabled</a>;
 };
 
 interface <dfn id=pluginarray>PluginArray</dfn> {
@@ -74728,25 +74726,25 @@ interface <dfn id=mimetype>MimeType</dfn> {
   readonly attribute <a href=#dom-plugin title=dom-Plugin>Plugin</a> <a href=#dom-mimetype-enabledplugin title=dom-MimeType-enabledPlugin>enabledPlugin</a>;
 };</pre>
 
-  <dl class=domintro><dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code> . <code title=dom-PluginArray-refresh><a href=#dom-pluginarray-refresh>refresh</a></code>( [ <var title="">refresh</var> ] )</dt>
+  <dl class=domintro><dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code> . <code title=dom-PluginArray-refresh><a href=#dom-pluginarray-refresh>refresh</a></code>( [ <var title="">refresh</var> ] )</dt>
    <dd>
     <p>Updates the lists of supported plugins and MIME types for this page, and reloads the page if the lists have changed.</p>
     <!-- that's not quite what all browsers have always done -->
    </dd>
 
-   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code> . <code title=dom-PluginArray-length><a href=#dom-pluginarray-length>length</a></code></dt>
+   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code> . <code title=dom-PluginArray-length><a href=#dom-pluginarray-length>length</a></code></dt>
    <dd>
     <p>Returns the number of plugins, represented by <code title=dom-Plugin><a href=#dom-plugin>Plugin</a></code> objects, that the user agent reports.</p>
    </dd>
 
-   <dt><var title="">plugin</var> = <var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code> . <code title=dom-PluginArray-item><a href=#dom-pluginarray-item>item</a></code>(<var title="">index</var>)</dt>
-   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code>[<var title="">index</var>]</dt>
+   <dt><var title="">plugin</var> = <var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code> . <code title=dom-PluginArray-item><a href=#dom-pluginarray-item>item</a></code>(<var title="">index</var>)</dt>
+   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code>[<var title="">index</var>]</dt>
    <dd>
     <p>Returns the specified <code title=dom-Plugin><a href=#dom-plugin>Plugin</a></code> object.</p>
    </dd>
 
-   <dt><var title="">plugin</var> = <var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code> . <code title=dom-PluginArray-item><a href=#dom-pluginarray-item>item</a></code>(<var title="">name</var>)</dt>
-   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-plugins>plugins</code>[<var title="">name</var>]</dt>
+   <dt><var title="">plugin</var> = <var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code> . <code title=dom-PluginArray-item><a href=#dom-pluginarray-item>item</a></code>(<var title="">name</var>)</dt>
+   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-plugins><a href=#dom-navigator-plugins>plugins</a></code>[<var title="">name</var>]</dt>
    <dd>
     <p>Returns the <code title=dom-Plugin><a href=#dom-plugin>Plugin</a></code> object for the plugin with the given name.</p>
    </dd>
@@ -74820,6 +74818,11 @@ interface <dfn id=mimetype>MimeType</dfn> {
     <p>Returns the <code title=dom-Plugin><a href=#dom-plugin>Plugin</a></code> object that implements this MIME type.</p>
    </dd>
 
+   <dt><var title="">window</var> . <code title=dom-navigator><a href=#dom-navigator>navigator</a></code> . <code title=dom-navigator-javaEnabled><a href=#dom-navigator-javaenabled>javaEnabled</a></code></dt>
+   <dd>
+    <p>Returns true if there's a plugin that supports the MIME type "<code title="">application/x-java-vm</code>".</p>
+   </dd>
+
   </dl><div class=impl>
 
   <p>The <dfn id=dom-navigator-plugins title=dom-navigator-plugins><code>navigator.plugins</code></dfn> attribute must
@@ -75061,6 +75064,12 @@ interface <dfn id=mimetype>MimeType</dfn> {
   object represents when this object was last created or updated by <code title=dom-PluginArray-refresh><a href=#dom-pluginarray-refresh>PluginArray.refresh()</a></code>, whichever happened most
   recently.</p>
 
+  <hr><p>The <dfn id=dom-navigator-javaenabled title=dom-navigator-javaEnabled><code>navigator.javaEnabled</code></dfn> attribute
+  must return true if the user agent supports a <a href=#plugin>plugin</a> that supports the <a href=#mime-type>MIME
+  type</a> "<code title="">application/x-java-vm</code>".
+  <a href=#fingerprinting-vector class=fingerprint title="fingerprinting vector"><img src=http://images.whatwg.org/fingerprint.png width=46 alt="(This is a fingerprinting vector.)" height=64></a>
+  </p>
+
   </div>
 
 

diff --git a/source b/source
@@ -82778,10 +82778,7 @@ setTimeout({ toString: function () {
 <span>Navigator</span> implements <span>NavigatorPlugins</span>;</pre>
 
 <!-- v2:
-  cookieEnabled geolocator javaEnabled mozIsLocallyAvailable preference
-  readonly attribute <span>MimeTypeArray</span> <span title="dom-navigator-mimeTypes">mimeTypes</span>;
-  readonly attribute <span>PluginArray</span> <span title="dom-navigator-plugins">plugins</span>;
-  (the latter is used in a <video> element demo now, so we might need to pull this forward from v2!)
+  geolocator mozIsLocallyAvailable preference
 -->
 
   <div class="impl">
@@ -83621,6 +83618,7 @@ interface <dfn>NavigatorStorageUtils</dfn> {
 interface <dfn>NavigatorPlugins</dfn> {
   readonly attribute <span>PluginArray</span> <span title="dom-navigator-plugins">plugins</span>;
   readonly attribute <span>MimeTypeArray</span> <span title="dom-navigator-mimeTypes">mimeTypes</span>;
+  readonly attribute boolean <span title="dom-navigator-javaEnabled">javaEnabled</span>;
 };
 
 interface <dfn>PluginArray</dfn> {
@@ -83654,25 +83652,25 @@ interface <dfn>MimeType</dfn> {
 
   <dl class="domintro">
 
-   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-plugins">plugins</code> . <code title="dom-PluginArray-refresh">refresh</code>( [ <var title="">refresh</var> ] )</dt>
+   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-navigator-plugins">plugins</code> . <code title="dom-PluginArray-refresh">refresh</code>( [ <var title="">refresh</var> ] )</dt>
    <dd>
     <p>Updates the lists of supported plugins and MIME types for this page, and reloads the page if the lists have changed.</p>
     <!-- that's not quite what all browsers have always done -->
    </dd>
 
-   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-plugins">plugins</code> . <code title="dom-PluginArray-length">length</code></dt>
+   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-navigator-plugins">plugins</code> . <code title="dom-PluginArray-length">length</code></dt>
    <dd>
     <p>Returns the number of plugins, represented by <code title="dom-Plugin">Plugin</code> objects, that the user agent reports.</p>
    </dd>
 
-   <dt><var title="">plugin</var> = <var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-plugins">plugins</code> . <code title="dom-PluginArray-item">item</code>(<var title="">index</var>)</dt>
-   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-plugins">plugins</code>[<var title="">index</var>]</dt>
+   <dt><var title="">plugin</var> = <var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-navigator-plugins">plugins</code> . <code title="dom-PluginArray-item">item</code>(<var title="">index</var>)</dt>
+   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-navigator-plugins">plugins</code>[<var title="">index</var>]</dt>
    <dd>
     <p>Returns the specified <code title="dom-Plugin">Plugin</code> object.</p>
    </dd>
 
-   <dt><var title="">plugin</var> = <var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-plugins">plugins</code> . <code title="dom-PluginArray-item">item</code>(<var title="">name</var>)</dt>
-   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-plugins">plugins</code>[<var title="">name</var>]</dt>
+   <dt><var title="">plugin</var> = <var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-navigator-plugins">plugins</code> . <code title="dom-PluginArray-item">item</code>(<var title="">name</var>)</dt>
+   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-navigator-plugins">plugins</code>[<var title="">name</var>]</dt>
    <dd>
     <p>Returns the <code title="dom-Plugin">Plugin</code> object for the plugin with the given name.</p>
    </dd>
@@ -83746,6 +83744,11 @@ interface <dfn>MimeType</dfn> {
     <p>Returns the <code title="dom-Plugin">Plugin</code> object that implements this MIME type.</p>
    </dd>
 
+   <dt><var title="">window</var> . <code title="dom-navigator">navigator</code> . <code title="dom-navigator-javaEnabled">javaEnabled</code></dt>
+   <dd>
+    <p>Returns true if there's a plugin that supports the MIME type "<code title="">application/x-java-vm</code>".</p>
+   </dd>
+
   </dl>
 
   <div class="impl">
@@ -84046,6 +84049,14 @@ interface <dfn>MimeType</dfn> {
   title="dom-PluginArray-refresh">PluginArray.refresh()</code>, whichever happened most
   recently.</p>
 
+  <hr>
+
+  <p>The <dfn title="dom-navigator-javaEnabled"><code>navigator.javaEnabled</code></dfn> attribute
+  must return true if the user agent supports a <span>plugin</span> that supports the <span>MIME
+  type</span> "<code title="">application/x-java-vm</code>".
+  <!--INSERT FINGERPRINT-->
+  </p>
+
   </div>