[BUG #7554] fixed Opera/WebKit detection