// ==UserScript==
// @name Add version to title
// @author Jürgen Jeka 
// @namespace http://userjs.org/ 
// @version 1.0
// @description  Adds the Opera Browser version number to the title
//			bar. This script is deprecated since Opera 9.
// @ujs:category browser: enhancements
// @ujs:published 2006-01-23 23:36
// @ujs:modified 2006-01-25 20:05
// @ujs:documentation http://userjs.org/scripts/browser/enhancements/add-version-to-title 
// @ujs:download http://userjs.org/scripts/download/browser/enhancements/add-version-to-title.js
// ==/UserScript==


/* 
 * This script is granted to the Public Domain.
 */

document.addEventListener( 'load', function () {
	if( !document.title ) {
		var oHead = document.getElementsByTagName("head");
		if( !oHead.length ) {
			if( !document.body ) {
				return;
			}
			document.documentElement.insertBefore(document.createElement("head"),document.body);
		}
		oHead[0].appendChild(document.createElement("title"));
	}
	document.title += " \xA6 " + opera.version();
}, false);