Update dotc_triplogger.js