Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ## userjs - neither the if nor the else are executing
- (function(opera, document) {
- var html = document.firstChild && document.selectSingleNode('/html');
- if (html)
- html.className += ' ' + location.hostname.replace(/\./g, '-').replace(/^www-|[^\w- ]/g, '').replace(/\b(\d)/g, '_$1');
- else { //debug
- opera.postError('add-class failed; ' + location.hostname);
- opera.postError('document.firstChild = ' + document.firstChild + ' / document.selectSingleNode(\'/html\') = ' + document.selectSingleNode('/html'));
- }
- })(this.opera, this.document);
Add Comment
Please, Sign In to add comment