Feature #4916: Upgrade SpiderMonkey to v28 for android/mac/ios