A JavaScript formatter