 Opera supports User JavaScript extensions.Those scripts execute when pages are loaded and are used to enhance site functionality.UserJS.org was the unofficial central repository for Opera User JavaScripts, but it's currently inactive.