Use a different Javascript syntax plugin.