issue #4916:Upgrade SpiderMonkey to v28