Converted to Opera 15 extensions