/** Functions and properties for the Opera browser **/
var opera = {}; 

/** UserJS: Register an event listener for User JavaScript objects **/
opera.addEventListener =  function(type, handler, phase){};

/** Gets the Opera buildnumber **/
opera.buildNumber = function(){};
 
 /** UserJS: function to be run in place of the function defined by the page **/
opera.defineMagicFunction =  function(functionName, replacementFunction){};

/** UserJS: Getters and setters to be used in place of variable defined by web page **/
opera.defineMagicVariable =  function(name, getter, setter){};

/** UserJS: Returns the last last value of history navigation mode that was set using for the current document **/
opera.getOverrideHistoryNavigationMode = function(){};

/** Prints each argument in to the message console **/
opera.postError = function( message1, message2){};

/** Apply XSLT to current document **/
opera.pushXSLTransform = function( XSLStylesheet ){};

/** Undo the last XSL Transform to current document **/
opera.popXSLTransform = function(){};

/** UserJS: Unregister an event listener for User JavaScript objects **/
opera.removeEventListener = function(type, handler, phase){};

/** UserJS: Sets the the history navigation mode to 'automatic', 'compatible' or 'fast'  **/
opera.setOverrideHistoryNavigationMode = function(mode){};

/** Gets the current version number of Opera **/
opera.version = function(){};