Upgrade SpiderMonkey to latest stable version

[zhaijialong]

Note

This issue is migrated from here. It was created at 2014/08/06 09:44:35 +0000

Description

• pandamicro added comment:
  https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey/31
  Still not available

[gyf19]

good ide +1