Ghostery needs update for Opera 12's new API

Edit Subject

In Opera 12, when navigating to Opera internal pages such as the Extensions manager, the following error occurs:

[6/21/2012 6:27:49 PM] JavaScript - widget://wuid-4e362631-2c65-0420-02d4-317e2cf9a972/index.html
Event thread: focus
Uncaught exception: TypeError: Cannot convert 'tab_url' to object
Error thrown at line 500, column 1 in getFoundBugs(tab_url) in widget://wuid-4e362631-2c65-0420-02d4-317e2cf9a972/index.html:
tab_url = tab_url.replace(/#.*$/, '');
called from line 506, column 1 in getFoundApps(tab_url, sorted) in widget://wuid-4e362631-2c65-0420-02d4-317e2cf9a972/index.html:
var apps_arr = [],
called from line 483, column 2 in updateBadge(url) in widget://wuid-4e362631-2c65-0420-02d4-317e2cf9a972/index.html:
apps = getFoundApps(url);
called from line 58, column 2 in updateButton() in widget://wuid-4e362631-2c65-0420-02d4-317e2cf9a972/index.html:
updateBadge(tab.url);

This happens because, with the new API, tabs.getFocused() does return a tab object even if Opera can't inject scripts into the tab. The URL of many internal pages is undefined.

This doesn't really affect much, but it does break the extension on private tabs when the extension's privacy settings prevent it from accessing private tabs.