Various tests and repairs motivated by opera specific misbehaviors

With these changes, Opera mobile 12.10 is recognized as
SES-safe and Opera 12.15 fails cleanly as unsupported. As for
Opera 15, it is based on a safe version of v8 and so is unaffected
by this CL.

[MarkM, 2013-07-07 19:51:26]

With these changes, Opera mobile 12.10 is recognized as
SES-safe and Opera 12.15 fails cleanly as unsupported. As for
Opera 15, this is based on a safe version of v8 and so is unaffected
by this CL.

[MarkM, 2013-07-07 19:53:00]

With these changes, Opera mobile 12.10 is recognized as
SES-safe and Opera 12.15 fails cleanly as unsupported. As for
Opera 15, it is based on a safe version of v8 and so is unaffected
by this CL.

[MarkM, 2013-07-13 21:02:08]

With these changes, Opera mobile 12.10 is recognized as
SES-safe and Opera 12.15 fails cleanly as unsupported. As for
Opera 15, it is based on a safe version of v8 and so is unaffected
by this CL.

[MarkM, 2013-07-13 21:02:47]

With these changes, Opera mobile 12.10 is recognized as
SES-safe and Opera 12.15 fails cleanly as unsupported. As for
Opera 15, it is based on a safe version of v8 and so is unaffected
by this CL.

[MarkM, 2013-07-13 21:02:55]

With these changes, Opera mobile 12.10 is recognized as
SES-safe and Opera 12.15 fails cleanly as unsupported. As for
Opera 15, it is based on a safe version of v8 and so is unaffected
by this CL.

[Mark S. Miller, 2013-07-13 21:05:22]

Hi Felix, I added you to the reviewers, in hopes of getting this in sooner
;).


On Sat, Jul 13, 2013 at 2:02 PM, <erights@gmail.com> wrote:

> With these changes, Opera mobile 12.10 is recognized as
> SES-safe and Opera 12.15 fails cleanly as unsupported. As for
> Opera 15, it is based on a safe version of v8 and so is unaffected
> by this CL.
>
>
https://codereview.appspot.**com/10923044/<https://codereview.appspot.com/109...
>
>
> --
>
> ---You received this message because you are subscribed to the Google
> Groups "Google Caja Discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
google-caja-discuss+**unsubscribe@googlegroups.com<google-caja-discuss%2Bunsu...
> .
> For more options, visit
https://groups.google.com/**groups/opt_out<https://groups.google.com/groups/o...
> .
>
>
>


-- 
    Cheers,
    --MarkM

[felix8a, 2013-07-14 19:19:19]

lgtm

[ihab.awad, 2013-07-15 21:04:20]

lgtm