closed #3900: Upgrades spidermonkey to Firefox v27.