It looks like Opera 12's market share (the last non-webkit Opera version) is now below 0.5% and newer versions already should use the webkit permutation. The support was already very weak and we don't see any reason to continue it.
Similar to IE6/7 deprecation, we will start with disabling the permutation by default for 2.6 release and then start removing the code after that. Let me know if you have any concerns. -- http://groups.google.com/group/Google-Web-Toolkit-Contributors --- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
