operamini js

Safari extension that controls which scripts—and more—run on websites.