JavaScript language extensions