Vanilla 1 is no longer supported or maintained. If you need a copy, you can get it here
Html Formatter 1.5 doesn't work With some links
I using opera posted some links(That's Only for Opera)
opera:/button/Highlight bookmark | Add to bookmarks,,,,Missing bookmark
These Links doesn't work with Html Formatter 1.5...
If I modify default.php...but I don't understand these codes(how to?)
I think should better support Opera