Update the list of symbols exported to Javascript.