• Home
• com.github.strator-dev.greenpepper
• greenpepper-extensions-java
• 4.2.4
• source code
• HTMLHtmlElement.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.w3c.dom.html.HTMLHtmlElement Maven / Gradle / Ivy

// Copyright (c) 1998 by W3C
//
// DOM is a trademark of W3C
// The DOM level 1 specification, from which this
// source is derived, is copyright by W3C.
// See: http://www.w3.org/TR/REC-DOM-Level-1/
//

package org.w3c.dom.html;

import org.w3c.dom.*;

/**

  
Root of an HTML document. See the 
    HTML element definition
 in HTML 4.0.
  









Property Summary


 version

getVersion
setVersion


  
Version information about the document's DTD. See the 
    version attribute definition
 in HTML 4.0. This attribute is deprecated in HTML 4.0.
  




 
*/
public interface HTMLHtmlElement
extends HTMLElement
{
	/** Assigns the value of the version property.
	 */
	void setVersion (String version);

	/**
	 * Returns the value of the version property.
	*/
	String getVersion ();


}